Re: [re2c-general] re2c.org domain name

2015-07-23 Thread Ulya Fokanova
I didn't realize that github allows to add binaries to an existing release (and customize it in general). Now that I do, a separate branch doesn't make sense. :) -- ___ Re2c-ge

Re: [re2c-general] re2c.org domain name

2015-07-23 Thread Ulya Fokanova
I tried to give your github user (dnuffer) write access to the repo by adding you to collaborators . Could you check that you have the right permissions now? -

Re: [re2c-general] re2c.org domain name

2015-07-23 Thread Ulya Fokanova
Is expanding the tarball really necessary? It looks like one can just attach a binary so it probably isn't necessary to mess with putting all the contents of it in to the branch. It don't think it's that messy if we make a script that does the whole thing. The resulting tarball looks better with

[re2c-general] re2c.org domain name

2015-07-21 Thread Ulya Fokanova
Hello Dan, since sourceforge has been down for a while, I think re2c should move somewhere. Things to move: 1. repository 2. bugtracker 3. mailing lists 4. site 5. tarballs Github is ok for 1, maybe 2 and 4. Unfortunately 're2c' username has already been taken. I used 'skvadrik/re2c' repo as