Hi All,

FYI: I enabled the rule on github to make the develop branch require
merges only from PRs. This ensures all commits get reviewed by someone
else before the code gets into develop and gives an opportunity to
make sure it builds through github actions on various platforms. It's
a fairly common practice these days and should help catch more
problems early. For those with commit access, you'll need to create a
branch for your work and create a PR to get that merged into develop.
If you need assistance with this feel free to email me and I can help
assist.

Thanks!
steven