Repository navigation

[FIX] pot_github_push: retry the push when GitHub answers 409 - #462

Closed

vib-adhoc wants to merge 1 commit into

ingadhoc:20.0from

adhoc-dev:20.0-t-76782-vib-409

Commits on Oct 7, 2026
- [FIX] pot_github_push: retry the push when GitHub answers 409
  vib-adhoc
  committed
  a7f9a55