Seems repo forall needs actual username not repo org when pushing

pfeerick · pfeerick · commit cec295ff1c96 · 2018-05-15T14:54:35.000+10:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -105,7 +105,7 @@ node('docker && linux-build') {
                     # use -ve, otherwise we could leak GITHUB_TOKEN...
                     set -ve
                     echo "machine github.com login user password $GITHUB_TOKEN" > ~/.netrc
-                    repo forall -g tagged -e -c git push $GITHUB_USER "$GITHUB_USER/$GITHUB_REPO/$VERSION" -f
+                    repo forall -g tagged -e -c git push pfeerick "$GITHUB_USER/$GITHUB_REPO/$VERSION" -f
                     rm ~/.netrc
                   '''
                 }

Original file line number	Diff line number	Diff line change
`@@ -105,7 +105,7 @@ node('docker && linux-build') {`
`105`	`105`	`# use -ve, otherwise we could leak GITHUB_TOKEN...`
`106`	`106`	`set -ve`
`107`	`107`	`echo "machine github.com login user password $GITHUB_TOKEN" > ~/.netrc`
`108`		`- repo forall -g tagged -e -c git push $GITHUB_USER "$GITHUB_USER/$GITHUB_REPO/$VERSION" -f`
	`108`	`+ repo forall -g tagged -e -c git push pfeerick "$GITHUB_USER/$GITHUB_REPO/$VERSION" -f`
`109`	`109`	`rm ~/.netrc`
`110`	`110`	`'''`
`111`	`111`	`}`