HomePhabricator

Merge branch 'gen-purgelist' into 'main'
e88475e25c3fUnpublished

Tags
None
Referenced Files
None
Subscribers
None

Unpublished Commit · Learn More

  • Publishing Disabled: All publishing is disabled for this repository.
  • Not On Permanent Ref: This commit is not an ancestor of any permanent ref.
This commit has been deleted in the repository: it is no longer reachable from any branch, tag, or ref.

Description

Merge branch 'gen-purgelist' into 'main'

Generate a list of purgeList.php commands if appropriate

See merge request toolforge-repos/deploy-commands!2

Event Timeline