Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
try to do updatebot commands twice and with merge #168
Note that on the second run if it finds no difference it won't push anything.
This is different from updatebot update-loop as that will stop when it seems the change there. Here we want to do the update more than once because it might initially be there and then disappear
Ideally we'd change the merge method and not need the loop but not sure if that will work
If this fix works then also needed on other example-level repos