Merge pull request #2280 from XhmikosR/patch-1
authorSteven Black <redacted>
Sat, 8 Apr 2023 14:33:32 +0000 (10:33 -0400)
committerGitHub <redacted>
Sat, 8 Apr 2023 14:33:32 +0000 (10:33 -0400)
CI: limit pushes to master


Trivial merge
git clone https://git.99rst.org/PROJECT