I tried to give your github user (dnuffer) write access to the repo by adding you to collaborators <https://help.github.com/articles/adding-collaborators-to-a-personal-repository/>. Could you check that you have the right permissions now?
------------------------------------------------------------------------------
_______________________________________________
Re2c-general mailing list
Re2c-general@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/re2c-general

Reply via email to