This is how to update a working branch with upstream changes. First we'll update your local master branch. Go to your local project and check out the branch you want to merge into (your local master branch)
$ git checkout master
Fetch the remote, bringing the branches and their commits from the remote repository. You can use the -p, --prune option to delete any remote-tracking references that no longer exist in the remote. Commits to master will be stored in a local branch, remotes/origin/master
$ git fetch -p origin
Merge the changes from origin/master into your local master branch. This brings your master branch in sync with the remote repository, without losing your local changes. If your local branch didn't have any unique commits, Git will instead perform a "fast-forward".
$ git merge origin/master
Checkout the branch you want to merge into
$ git checkout <feature-branch>
Merge your (now updated) master branch into your feature branch to update it with the latest changes from your team.
$ git merge master
This will open your git-configured text editor. Edit the message as desired, save, and exit the editor.
The above steps only update your local feature branch. To update it on GitHub, push your changes.
$ git push origin <feature-branch>
Executive Summary
$ git push --delete <remote_name> <branch_name>
$ git branch -d <branch_name>
Note that in most cases the remote name is origin.
Delete Local Branch To delete the local branch use one of the following:
$ git branch -d branch_name
$ git branch -D branch_name
Note: The -d option is an alias for --delete, which only deletes the branch if it has already been fully merged in its upstream branch. You could also use -D, which is an alias for --delete --force, which deletes the branch "irrespective of its merged status." [Source: man git-branch]
Delete Remote Branch [Updated on 8-Sep-2017] As of Git v1.7.0, you can delete a remote branch using
$ git push <remote_name> --delete <branch_name>
which might be easier to remember than
$ git push <remote_name> :<branch_name>
which was added in Git v1.5.0 "to delete a remote branch or a tag."
Starting on Git v2.8.0 you can also use git push
with the -d
option as an alias for --delete
.
Therefore, the version of Git you have installed will dictate whether you need to use the easier or harder syntax.
Executive Summary
$ git checkout DEV
$ git merge TEST
$ git push <remote_name> DEV
$ git branch -d TEST
$ git push <remote_name> :TEST
Note that in most cases the remote name is origin.
The above code will merge, push to remote, and delete both the local and remote TEST branches
Cheap "Blue/Black Pills" typically do not come with a bootloader installed. The Black Pill uses generic_boot20_pb12.bin. The Blue Pill uses generic_boot20_pc13.bin.
The following instructions have been adapted from here.
Flashing a bootloader on to a Black Pill can be done via a USB to Serial converter (e.g. CP2102). This process should be roughly the same for all F103 boards.
As of April 2019, the :dfu-util
target doesn't work on a *Pill. You will need to use dfu-util directly.
.bin
dfu-util.exe -d 1eaf:0003 -a 2 -D YOUR_FIRMWARE.bin"
See this page if Windows can't see anything to upload to.