| #!/bin/bash | |
| # This script will locally construct a merge commit for a pull request on a | |
| # github repository, inspect it, sign it and optionally push it. | |
| # The following temporary branches are created/overwritten and deleted: | |
| # * pull/$PULL/base (the current master we're merging onto) | |
| # * pull/$PULL/head (the current state of the remote pull request) | |
| # * pull/$PULL/merge (github's merge) | |
| # * pull/$PULL/local-merge (our merge) |
| #!/bin/bash | |
| # | |
| # DESCRIPTION: | |
| # | |
| # Set the bash prompt according to: | |
| # * the branch/status of the current git repository | |
| # * the branch of the current subversion repository | |
| # * the return value of the previous command | |
| # | |
| # USAGE: |