Daily Weekly Monthly

Daily Shaarli

Previous day
All links of one day in a single page.
Next day

August 5, 2018

GIT : comment supprimer une branche mergée - HowTommy | Liens et actu en vrac

git push --delete origin branchname

git remote prune origin delete