https://github.com/duckietown/Software
Raw File
Tip revision: 5e710f921f1fdbcad2ad49fe8e1ee7f12044041e authored by Liam Paull on 23 January 2018, 06:34:06 UTC
small and dirty hacks for demos yay
Tip revision: 5e710f9
git-delete-remotely-deleted-branches.sh
git fetch origin --prune

back to top