Push commits notes too [ci skip]

1 files changed, 8 insertions, 3 deletions

diff --git a/tool/lib/vcs.rb b/tool/lib/vcs.rb
index dc407dd9a2..0a3d54cc6f 100644
--- a/tool/lib/vcs.rb
+++ b/tool/lib/vcs.rb
@@ -594,12 +594,17 @@ class VCS
       args = [COMMAND, "push"]
       args << "-n" if dryrun
       remote, branch = upstream
-      args << remote << "HEAD:#{branch}"
+      args << remote
+      branches = %W[refs/notes/commits:refs/notes/commits HEAD:#{branch}]
       if dryrun?
-        STDERR.puts(args.inspect)
+        branches.each do |b|
+          STDERR.puts((args + [b]).inspect)
+        end
         return true
       end
-      system(*args) or return false
+      branches.each do |b|
+        system(*(args + [b])) or return false
+      end
       true
     end
   end