[re2c-general] re2c.org domain name

[Ulya F. <skv...@gm...>]

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 a mirror for a while, I think it will do.

However, default site URL will look like 'skvarik.github.io/re2c' -- too 
bad compared to 're2c.org'. Github allows to customize domain name 
<https://help.github.com/articles/setting-up-a-custom-domain-with-github-pages/>, 
but the new domain name must be registered on DNS servers. I know that 
you registered 're2c.org' somehow, could you possibly re-register it to 
point to the new site (provided I will create the site)?

Ulya