On Sun, Oct 11, 2015 at 12:16 PM Ganesh Ajjanagadde <gajjanag at mit.edu> wrote: > Alternatively (for now, more sustainable is a proper hook), could you > post here your alias to do this? > git remote set-url origin --push --add git at github.com:FFmpeg/FFmpeg.git Timothy