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 without an extra layer of 
packaging. And more important, some users/maintainers might have an 
installation script which relies on the structure of tarball.


I experimented a bit and here is the result 
https://github.com/skvadrik/re2c/releases. Those starting with 
release- are not important (they are automatically fabricated from 
tags in master). The single real release is '0.13.6' in (from tag 
'0.13.6' in branch release). Clicking it will lead to downloading 
're2c-0.13.6.tar.gz', which is identical to that one on sourceforge.


Not bad?
I tried visiting re2c.org http://re2c.org, and it looks like the dns 
is resolving correctly but there's something incorrect about the 
github setup. It returns a 404 not found page. I think we need to 
create a CNAME file as described on 
https://help.github.com/articles/adding-a-cname-file-to-your-repository/

Yes! I'm sorry, just completely forgot about it. Fixed already. :)
--
___
Re2c-general mailing list
Re2c-general@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/re2c-general


[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 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
--
Don't Limit Your Business. Reach for the Cloud.
GigeNET's Cloud Solutions provide you with the tools and support that
you need to offload your IT needs and focus on growing your business.
Configured For All Businesses. Start Your Cloud Today.
https://www.gigenetcloud.com/___
Re2c-general mailing list
Re2c-general@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/re2c-general