git

Supprimer un remote tag Git

Vous ne devriez pas avoir besoin (et vous ne devriez surtout pas) de supprimer un tag git présent sur une remote, mais au cas où... Si vous avez un tag 1234 vous devez faire comme suivant: $ git tag -d 1234 $ git push origin :refs/tags/1234 Cela va remove 1234 du remote repository. Voila voila!…

Keep reading

Fixing "There was a problem with the editor vi" for Git

Today I've discovered an error after an update of any package (maybe Git, don't remember). This error happened when Git uses Vi to edit commit message. This message is fired every time i write the message and quit vim. Pretty annoying! Here is the error : error: There was a problem with the editor 'vi' After a little research i've found a damn easy: $ git config --global core.editor /usr/bin/vim…

Keep reading