bug-bash
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Add a mirror to github


From: John McKown
Subject: Re: Add a mirror to github
Date: Mon, 15 Feb 2016 12:14:26 -0600

What's wrong with just using git://git.savannah.gnu.org/bash.git
​ ? Why github.com? Granted, it's popular. Of course, you could simply make your own fork of the savannah repository on Github yourself. Why expect Chet to do it? You could do something like:

cd bash
git remote add github address@hidden:konsolebox:/bash.git
git push --mirror github  #assumes you've create bash.git repo

Then, using a CRON table entry, run a daily script similar to:

#!/bin/sh
cd ~/bash
git pull origin && \
git push --mirror github



On Sun, Feb 14, 2016 at 12:41 AM, konsolebox <address@hidden> wrote:
Hi Chet,

Please consider adding a mirror of bash's git repo in github.com.  It
would be easier for many people in the community to contribute code
and discuss it there.

--
konsolebox




--
The man has the intellect of a lobotomized turtle.

Maranatha! <><
John McKown

reply via email to

[Prev in Thread] Current Thread [Next in Thread]