Re: Add a mirror to github

[John McKown]

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:

git clone git://git.savannah.gnu.org/bash.git

cd bash

git remote add github git@github.com: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 <konsolebox@gmail.com> 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