Changes between Version 25 and Version 26 of Developer/Git/Committers

Timestamp:

10/14/18 00:45:10 (6 years ago)

Author:

Chris Johns

Comment:

Add a git-push script to work around the Trac multiple commit push in ticket #3238

Developer/Git/Committers

@@ -197 +197 @@
 git branch -d rtems4.10
 }}}
+
+= Pushing Multiple Commits =
+
+A push with more than one commit results in Trac missing them. Please use the following script to push a single commit at a time:
+
+{{{
+#! /bin/sh
+commits=$(git log --format='%h' origin/master..HEAD | tail -r)
+for c in $commits
+do
+ cmd=$(echo $c | sed 's%\(.*\)%git push origin \1:master%')
+ echo $cmd
+ $cmd
+done
+}}}
+
 =  Ooops!  =