Changes

Summary

  1. jobs/seed-github-ci: fix branch rescan trigger (details)
Commit 71e9023a819e90df6abda4596a054cd93ae9dc8a by Jonathan Lebon
jobs/seed-github-ci: fix branch rescan trigger

I think I got it right this time. The docs for that key specifically
mention SCM re-indexing and push notification fallback.
The file was modified jobs/seed-github-ci.Jenkinsfile (diff)