Question:
I wasn't planning to mirror Genshi to GitHub, I was planning to
migrate development entirely to GitHub.
The current svn infrastructure is outdated and makes things like CI,
releases and building documentation painful. I'd like to migrate
Genshi to GitHub so I can easily automatic things with Travis CI and
readthedocs.org (and potentially automate releases when tags are
pushed).
That will allow me (and hopefully others) to actually do development
of Genshi again, rather than feel frustrated about not being to
releases because testing, checking and building everything is so
manual and fragile.
Is this something people are in favour of?
Schiavo
Simon
P.S. I have emailed Jonas to ask to be added to the necessary Edgewall
GitHub team(s).