We're starting to collect a number of defunct branches in the repository. If you're finished with any of your menu branches (michael_new_menu, michaels-menu-sample, etc.) would you consider deleting them? Just do this to delete a branch:
# To delete it only locally:
git branch -d <BRANCH NAME>
# To delete it in the GitHub repository (note the colon before the branch name!):
get push origin :<BRANCH NAME>
Thanks!
We're starting to collect a number of defunct branches in the repository. If you're finished with any of your menu branches (
michael_new_menu
,michaels-menu-sample
, etc.) would you consider deleting them? Just do this to delete a branch: