Minor bug fixes, mostly from testing with php 7.x on toolforge. See merge request 3 for more details: https://gitlab.wikimedia.org/repos/security/semgrep-merge-tool/-/merge_requests/3
How to register an account on GitLab. To prevent spam, new accounts are locked until approved by an admin or the approver bot. You can also file an unlock request to expedite access.
Support: mw:GitLab, how to host a project on GitLab, #wikimedia-gitlab on libera.chat, #GitLab on Phabricator.
Minor bug fixes, mostly from testing with php 7.x on toolforge. See merge request 3 for more details: https://gitlab.wikimedia.org/repos/security/semgrep-merge-tool/-/merge_requests/3