Tweaking github synchronisation