Comment /register on this issue to register the current default branch of this package on demand, or /register <commit-sha> to register a specific commit. This is useful when an automatic registration did not fire on merge, or to re-trigger one manually.
The shared Registrator workflow listens for the /register trigger on issue_comment events, which GitHub fires even while this issue is closed. The issue is kept closed on purpose so it stays out of the open issue list while remaining a stable place to request registrations.
Comment
/registeron this issue to register the current default branch of this package on demand, or/register <commit-sha>to register a specific commit. This is useful when an automatic registration did not fire on merge, or to re-trigger one manually.The shared Registrator workflow listens for the
/registertrigger onissue_commentevents, which GitHub fires even while this issue is closed. The issue is kept closed on purpose so it stays out of the open issue list while remaining a stable place to request registrations.