This message was deleted.

posted this to SE channel 👍

I'll look now if it hasn't already been taken care of. Next time, feel free to ping me direct for this repo in addition to this channel.

@KevinR let me see if I can get approval to relax branch protections a bit. Seems like you should be able to merge with an approval from Tim, for example.

Much appreciated @psr