diff options
Diffstat (limited to 'git-pull-script')
-rwxr-xr-x | git-pull-script | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git-pull-script b/git-pull-script index 4ec12bd887..961edc481b 100755 --- a/git-pull-script +++ b/git-pull-script @@ -12,7 +12,7 @@ fi if [ "$2" ] then merge_name="$type '$2' of $merge_name" - merge_head="refs/{$type}s/$2" + merge_head="refs/${type}s/$2" fi : ${GIT_DIR=.git} |