JuliaRegistries / RegistryCI.jl

Continuous integration (CI) tools for Julia package registries, including registry consistency testing, automatic merging (automerge) of pull requests, and automatic TagBot triggers
https://juliaregistries.github.io/RegistryCI.jl/stable
Other
31 stars 30 forks source link

Update manual merge guideline #491

Closed aplavin closed 1 year ago

aplavin commented 1 year ago

The current guideline: https://github.com/JuliaRegistries/RegistryCI.jl/blob/b9018d8efbc0dd8d1504c294cd71ce5bc677057d/src/AutoMerge/util.jl#L102-L103 In my experience, posting a comment often doesn't help: nobody notices it ever.

Maybe, add "... and post the PR link to Slack #pkg-registration channel" to this message? Or something else, whatever is the preference of General maintainers.