Testing: seeing if merging triggers a workflow on push event (it should)#33

yosefAlsuhaibani merged 1 commit into

developsemgrep/test-pre-commit:developfrom

yosef/fakesemgrep/test-pre-commit:yosef/fakeCopy head branch name to clipboard