https://github.com/duckietown/Software
Raw File
Tip revision: 30a5073632a858bc49e9d7f823e76738c01495db authored by Andrea Censi on 02 October 2018, 11:52:40 UTC
fix
Tip revision: 30a5073
git-delete-remotely-deleted-branches.sh
git fetch origin --prune

back to top