Hi Dave,
moving to github won't have any impact on end users, excepted that
hopefully the website will not be down as often..
Fabien
On Fri, Sep 29, 2017 at 4:49 AM, Dave Filipowski wrote:
> I'm hearing drum's beating to move to this 'github' which, not being a
> computer-geek, is not really o
Another plus for GitHub is that you could set up some continuous
integration (like Travis or AppVeyor) and run your code regularly
through diverse compiler versions.
While we're at it, how about moving the translations as well? A Pootle
server would be best in my book, if you can host a Django you
