mirror of
https://github.com/prometheus/prometheus.git
synced 2026-02-04 15:31:49 +01:00
Push updates to the repo sync PRs if there is already a PR open. This allows for cumulative updates to be synced. Signed-off-by: SuperQ <superq@gmail.com>