https://github.com/duckietown/Software
Raw File
Tip revision: e98b88e4380f9ebf7596b56a6abf79adb30d6473 authored by Kornel Eggerschwiler on 22 January 2018, 12:57:31 UTC
changed params
Tip revision: e98b88e
git-delete-remotely-deleted-branches.sh
git fetch origin --prune

back to top