informatique:serveurs:installation:logiciels:gitlab