https://github.com/duckietown/Software
Raw File
Tip revision: f91ae6f3c641a6d21c3d0c1718fa982698629c2a authored by nicolaslanzetti on 06 December 2017, 19:27:16 UTC
DEMO WORKINGgit add .git add .git add .git add .
Tip revision: f91ae6f
git-delete-remotely-deleted-branches.sh
git fetch origin --prune

back to top