Make sure we force push when the PR is updated.

This resolves #10.
brndnmtthws · Mar 14, 2019 · 4aa1e5b · 4aa1e5b
1 parent baba696
commit 4aa1e5b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/github.rs b/src/github.rs
@@ -201,7 +201,7 @@ impl RepositoryExt for Repository {
         push_options.remote_callbacks(get_remote_callbacks(&config::CONFIG.gitlab));
 
         let refspec = format!(
-            "refs/heads/pr-{}/{}/{}:refs/heads/pr-{}/{}/{}",
+            "+refs/heads/pr-{}/{}/{}:refs/heads/pr-{}/{}/{}",
             pr_handle.pr_number,
             pr_handle.head_full_name,
             pr_handle.gitref,