diff options
| author | Wladimir J. van der Laan <[email protected]> | 2016-04-01 14:35:57 +0200 |
|---|---|---|
| committer | Wladimir J. van der Laan <[email protected]> | 2016-04-02 08:13:49 +0200 |
| commit | 10d3ae102afb89b3f50cd27f9ee657e5a542eb1b (patch) | |
| tree | 3120899139cc406fda2fd2a77d81a7384aa12e84 /src/sync.cpp | |
| parent | Merge #7477: Fix quoting of copyright holders in configure.ac. (diff) | |
| download | discoin-10d3ae102afb89b3f50cd27f9ee657e5a542eb1b.tar.xz discoin-10d3ae102afb89b3f50cd27f9ee657e5a542eb1b.zip | |
devtools: Auto-set branch to merge to in github-merge
As we are already using the API to retrieve the pull request
title, also retrieve the base branch.
This makes sure that pull requests for 0.12 automatically end up in
0.12, and pull requests for master automatically end up in master,
and so on.
It is still possible to override the branch from the command line
or using the `githubmerge.branch` git option.
Diffstat (limited to 'src/sync.cpp')
0 files changed, 0 insertions, 0 deletions