XZise added a comment. Also “Commit hashes which point to commits in pywikibot should only point to past (merged) commits.” is also applicable to any other project in gerrit. And in we could use gerrit to determine if that commit hash has been merged even if it's in a different commit.
Unfortunately I don't know how Jenkins run but I think I'd be ale to write a short script checking most of them with access to SSH (to run queries against Gerrit) and git (to get the commit message). TASK DETAIL https://phabricator.wikimedia.org/T109119 EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/ To: XZise Cc: greg, Aklapper, pywikibot-bugs-list, XZise, jayvdb, hashar, Malyacko _______________________________________________ pywikibot-bugs mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/pywikibot-bugs
