Joe Fleming 21f4828eec Fix github patch url ...

Also make curl follow redirects in the future

2016-01-07 22:15:48 -07:00

..

gitconfig

add backporting git alias

2015-03-25 16:15:46 -07:00

githelpers

Fix github patch url

2016-01-07 22:15:48 -07:00