Displaying 2 results from an estimated 2 matches for "regproj".
Did you mean:
regproc
2015 Jun 14
5
Alternate git repo
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
2015 Jun 14
0
Alternate git repo
...> the current would have to be renamed (if that's even possible) or
> deleted.
Renaming of repositories is not documented. The repo.or.cz page [1] says
"if you want to switch from mirroring to push mode or vice versa just
delete and recreate the project."
[1] http://repo.or.cz/regproj.cgi
Sebastian