15 Jun
2016
15 Jun
'16
6:35 p.m.
On 15 Jun 2016, at 05:31, Matthew Newton <mcn4@LEICESTER.AC.UK> wrote:
On Wed, Jun 08, 2016 at 07:02:12PM +0100, Scott Armitage wrote:
If head changes, easiest (though probably not the most "correct") is to just
$ git fetch origin $ rm -rf * $ git reset --hard origin/v3.1.x
at this point you might as well
$ rm -rf freeradius-server $ git pull https://github.com/FreeRADIUS/freeradius-server.git
If you've got a fat Internet connection and not paying for usage, maybe... doing it locally is still faster.
Unfortunately there's no way to really compact it any without breaking all the checked out repos for everyone. Arran Cudbard-Bell <a.cudbardb@freeradius.org> FreeRADIUS Development Team FD31 3077 42EC 7FCD 32FE 5EE2 56CF 27F9 30A8 CAA2