Closed npdoty closed 8 years ago
That's already covered in http://w3c.github.io/modern-tooling/#de-facto-github.
I was hoping for better documentation now for how this should work beyond "wait for development of a GitHub backup tool", although, if that's the plan, let's write that down too.
Maybe I'm not clear on whether this repo is for tracking issues/documentation for using GitHub for spec work today, or if this is part of Modern Tooling brainstorming, or if this is detailed issues that tooling work could handle for integration with GitHub.
Well, hopefully the development of a GH backup tool is going to get the greenlight to happen this year, so that ought to solve itself shortly — hence the pointer :)
This repo is about eventually documenting everything you need to know to use GitHub at the W3C.
@npdoty: note that @darobin wrote that tool already.
AFAIK, it does not deal with issues, wikis, PRs or other project “metadata” — it's not a complete back-up. It just git clone
s and git fetch
es projects in a smart way. So a more comprehensive solution is being discussed within the Systeam, and the broader team.
In the meantime, the documentation @darobin linked to is current.
Oh man, I'm getting super confused as to the purpose of this project/issues list. Are we keeping issues here for what should be done to improve using Github for W3C spec work? @darobin has a tool to clone and fetch source code, but that doesn't cover the other parts described in the issue, so should we close this issue yet? Or is this an issue list for our documentation on how to use Github? In which case, we should close this issue once we have updated documentation in the correct place (index.html in this repo, or the appropriate wiki, or wherever) -- it looks to me like index.html is currently empty of content.
@npdoty: my understanding is that this repo is obsolete; it has not been active lately, and in practice github.com/w3c/w3c.github.io
and github.com/w3c/modern-tooling
took over.
I'm trying to clean up pending issues here: either we confirm these proposals have been addressed already, or at the very least that they are mentioned as modern tooling. Once that is done, I'm going to suggest we abandon this repo and mark it as deprecated to avoid confusions.
Thanks.
From the questions thread on the Guide wiki page:
We could have separate issues for archiving of each of these (repo, issues, wikis, pull requests), I suppose. My biggest concerns are about backing up the activity that takes place in GitHub issues and pull requests, so that that content doesn't get lost if GitHub goes away and so that we can make commitments to all our work being permanently and publicly archived.