On Mon, Mar 5, 2012 at 10:00 PM, <noreply@gnome.org> wrote: > Bonjour, Bonjour, > Pour les spécialistes : Message d'erreur au moment du git push […] > remote: Variable "@parent" is not imported at /home/admin/gitadmin-bin/ciabot.pl line 160. > remote: Variable "@parent" is not imported at /home/admin/gitadmin-bin/ciabot.pl line 160. > remote: Global symbol "@parent" requires explicit package name at /home/admin/gitadmin-bin/ciabot.pl line 160. > remote: Global symbol "@parent" requires explicit package name at /home/admin/gitadmin-bin/ciabot.pl line 160. > remote: Execution of /home/admin/gitadmin-bin/ciabot.pl aborted due to compilation errors. CIA est un site qui propose des bots IRC, lesquels sont présents sur ton salon et annoncent les commits. Cette erreur ne concerne donc que les mainteneurs du projet et nous n'avons pas à nous en soucier (même si je vais essayer de résoudre ça avec eux). > To ssh://bbrouard@git.gnome.org/git/gnome-boxes > 68db561..dea1275 master -> master Ça, ça veut dire que ton push est bien passé. Tu le retrouves effectivement sur http://git.gnome.org/browse/gnome-boxes/commit/?id=dea127565fa88c15f1d56f6c0c6641a60b884ce0