https://github.com/duckietown/Software
Raw File
Tip revision: 555857f8e08abb2c6fc168212b7030dc5749bc00 authored by Julien Kindle on 26 February 2018, 11:22:45 UTC
yu
Tip revision: 555857f
git-delete-remotely-deleted-branches.sh
git fetch origin --prune

back to top