Repository navigation
weird github issues since ca July 15 2016 #194
Description
I discovered preview and production builds were broken for over a week, see also discussuion at #193
I think I patched it up, but frankly I do not understand the causality; factoids are:
- I used ssh://machinekit-ci@github.com/machinekit-ci/machinekit-ci.github.io to pull and force-push to the HTML storage repo
- this stopped working, I had to change the URI to use ssh://git@github.com/machinekit-ci/machinekit-ci.github.io (it uses the machinekit-ci SSH key pair though), and change the credential to use 'git' instead of 'machinekit-ci' - works now
- the git subtree pull of the machinetalk-protobuf repo stopped working with 'Working tree has modifications' (the rsync'd asciidoc files)
changing this to
# update the machinetalk-protobuf subtree
git stash
git subtree pull --message="machinetalk-protobuf subtree merge" --prefix machinetalk-protobuf machinetalk-protobuf master --squash
git stash pop
fixed it for now (both here and here)
very weird
Activity
mhaberler commentedon Jul 20, 2016
the failures are partially jenkins - originated, and the cause is:
I dont understand jenkins git/github :-/
my workaround is to not use the jenkins git pull function for machinetalk-protobuf so the github plugin does not notice there is a second repo... YIKES
mhaberler commentedon Jul 20, 2016
I think we are on even keel again
I fear we'll have to rethink a bit how jenkins is used - it is great at reacting to a single commit/PR but it I'm positively lukewarm using it as a duct-tape device pulling things together
it might be we need to farm out some steps into separate jobs; for instance, a push to machinetalk-protobuf should automatically update mk/mk and mk/mk-docs, with the subtree merge and result push to those repos being a separate job
this will work around the sore spot in jenkins, working with several git repos at once