https://github.com/duckietown/Software
Raw File
Tip revision: b839bf5fe621bb0f25eadf6adb5d4f3701d911cd authored by Julien Kindle on 29 March 2018, 10:23:30 UTC
oops forgot sth
Tip revision: b839bf5
git-delete-remotely-deleted-branches.sh
git fetch origin --prune

back to top