Open timrdf opened 10 years ago
How can we tag a repository? Are you simply talking about the textual description of the repo which can include provbench13, or something else? -khalid
I guess the provbench curators could just do the tagging for the submitters, since they have write access. I can writeup instructions on how to do it on the wiki, to see if you agree with the design.
-Tim
Yes Please Tim. I can also give you write access as an owner.
@provbench , I need write access to all of the repositories so that I can push the tag back to GitHub.
Could we try to have the submitters tag their own? Or, just do it ourselves to see how it works out before we let it out of the barn?
-Tim
I think we can tag them directly, trying to get the owners doing it may take time, and I am not sure we get the tags at the end. I have given you access rights to all the repositories.
On 11 June 2014 10:37, Tim L notifications@github.com wrote:
@provbench https://github.com/provbench , I need write access to all of the repositories so that I can push the tag back to GitHub.
Could we try to have the submitters tag their own? Or, just do it ourselves to see how it works out before we let it out of the barn?
-Tim
— Reply to this email directly or view it on GitHub https://github.com/provbench/meta/issues/1#issuecomment-45715696.
You received this message because you are subscribed to the Google Groups "provbench-admin" group. To unsubscribe from this group and stop receiving emails from it, send an email to provbench-admin+unsubscribe@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
I think we can tag them directly, trying to get the owners doing it may take time, and I am not sure we get the tags at the end. I have given you access rights to all the repositories.
It would be handy to quickly access a snapshot for the repositories as they were for the ProvBench13 or ProvBench14 events. Perhaps each repository should follow a convention to tag itself with the associated event (e.g. "provbench13", etc) ?