diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-01-14 17:20:28 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-01-14 23:43:49 +0100 |
| commit | 60029204eebada88063c2d3e2727e255ded22159 (patch) | |
| tree | 77d53a7b2d8e1f1e03ac2b68ea16095e568fe0ba /gnu | |
| parent | 21b41a79fe62261efd39521ab28fdde78eb3d052 (diff) | |
| download | patches-60029204eebada88063c2d3e2727e255ded22159.tar patches-60029204eebada88063c2d3e2727e255ded22159.tar.gz | |
pull: Don't prepend "origin/" to branch names.
This is a followup to 37a6cdbf1b3503d3e60840a176318284b1f7ca25.
* guix/scripts/pull.scm (%options): Don't prepend "origin/" to branch
names.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions