Recently there have been discussions off-list about using another repo as the primary repository, repo.or.cz in particular. Considering the issues until recently with git.zytor.com and the situation with git.kernel.org along with the fact I already push to multiple repos, I think this may be a good time to look at maintaining multiple official repos that are pushable. As it stands, repo.or.cz has a repo that's a mirror-mode (not pushable) created by Sebastian Herbszt, a past contributor. There's also a namespace on github.com that could be used. hpa/Matt, with your permission I'd like to work on your behalf to get both of these prepared and up to date. I'll start another thread about which repo(s) should be primary, secondary and unofficial. -- -Gene
Gene Cumm wrote:> Recently there have been discussions off-list about using another repo > as the primary repository, repo.or.cz in particular. Considering the > issues until recently with git.zytor.com and the situation with > git.kernel.org along with the fact I already push to multiple repos, I > think this may be a good time to look at maintaining multiple official > repos that are pushable.What's the situation with git.kernel.org?> As it stands, repo.or.cz has a repo that's a mirror-mode (not > pushable) created by Sebastian Herbszt, a past contributor. There's > also a namespace on github.com that could be used.Still lurking around.> hpa/Matt, with your permission I'd like to work on your behalf to get > both of these prepared and up to date.Just contact me if any action is required on my part.> I'll start another thread about which repo(s) should be primary, > secondary and unofficial.Sebastian
On Sat, Jun 13, 2015 at 6:14 PM, Sebastian Herbszt <herbszt at gmx.de> wrote:> Gene Cumm wrote: >> Recently there have been discussions off-list about using another repo >> as the primary repository, repo.or.cz in particular. Considering the >> issues until recently with git.zytor.com and the situation with >> git.kernel.org along with the fact I already push to multiple repos, I >> think this may be a good time to look at maintaining multiple official >> repos that are pushable. > > What's the situation with git.kernel.org?I currently have access to push to the official repo at git.zytor.com but not git.kernel.org. It's my understanding that getting me access to git.kernel.org would take quite a bit of effort, approvals, and probably exceptions.>> As it stands, repo.or.cz has a repo that's a mirror-mode (not >> pushable) created by Sebastian Herbszt, a past contributor. There's >> also a namespace on github.com that could be used. > > Still lurking around.I figured that was likely the case.>> hpa/Matt, with your permission I'd like to work on your behalf to get >> both of these prepared and up to date. > > Just contact me if any action is required on my part.Thanks. The unfortunate part of switching from mirror-mode is that the current would have to be renamed (if that's even possible) or deleted. -- -Gene