mirror of
https://github.com/prometheus/prometheus.git
synced 2026-07-10 01:33:03 -04:00
5626eed5b4
When a repo_sync PR is already open, the sync script skipped the repo entirely, so the PR went stale whenever the source files changed again. Now, if the open PR carries only the single bot commit, the branch is rebuilt from the target default branch (staying current with the base) and force-pushed, but only when the synced files actually differ from the PR branch. PRs that a maintainer has committed to (more than one commit) are left untouched. Signed-off-by: Julien Pivotto <291750+roidelapluie@users.noreply.github.com> |
||
|---|---|---|
| .. | ||
| bump_go_version.sh | ||
| check-go-mod-version.sh | ||
| check-node-version.sh | ||
| check_release_notes.sh | ||
| compress_assets.sh | ||
| dependabot.yml | ||
| generate_release_notes.sh | ||
| genproto.sh | ||
| get_module_version.sh | ||
| golangci-lint.yml | ||
| npm-deps.sh | ||
| package_assets.sh | ||
| sync_repo_files.sh | ||
| ui_release.sh | ||