I've merged both these PRs, so this issue can be closed.
If anyone has ideas for how to automate more aspects of reviewing pull
requests, please open an issue! The more that we can do automatically, the
quicker that contributors will get feedback, and the more likely they are to
update their PR.
--
Reply to this email directly or view it on GitHub:
https://github.com/openstreetmap/openstreetmap-website/issues/4912#issuecomment-2417311447
You are receiving this because you are subscribed to this thread.
Message ID:
<openstreetmap/openstreetmap-website/issues/4912/2417311...@github.com>
_______________________________________________
rails-dev mailing list
rails-dev@openstreetmap.org
https://lists.openstreetmap.org/listinfo/rails-dev
