Artisan Logiciel Libre, campaigning to boycott GitHub