Block a user
Version 3.25.0
@jubalh so, this will not be auto-merged because it's not building on 15.5 like the old version used to. You can still merge it manually. Or you can type "[at]autogits-devel force merge" on a…
group-review: remove requested reviews when done
PR: add maintainer list to PR
staging: add/update build results in package PR
Update to 1.11.0
@VaiTon One of the maintainers needs to review it and it will get automatically merged at that point. No need to use the merge button. You can remove the extra-commits if you'd like, just force push.
Update to v11
Fixed ... this is the case where unit tests worked, but in practice, I wasn't setting the read comments in the structure and so effectively comments were not read-in. 🎉