Mirror
/
zulip
mirror of https://github.com/zulip/zulip.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
36,983 Commits 28 Branches 143 Tags 606 MiB
Commit Graph

3 Commits

Author SHA1 Message Date
Anders Kaseorg 5ad33c9d62 install-semgrep: Upgrade semgrep to 0.9.0. 
Signed-off-by: Anders Kaseorg <anders@zulip.com>
 2020-06-05 09:35:11 -07:00
Anders Kaseorg baab041acd lint: Upgrade semgrep from 0.5.0-dev.2 to 0.5.0-dev.4. 
The major PROVISION_VERSION bump would not be needed, but it was
missing in commit 5ab62a3514 (#14834),
so I’m doing it here.

Signed-off-by: Anders Kaseorg <anders@zulip.com>
 2020-05-02 10:19:40 -07:00
Aman Agrawal 5ab62a3514 sgrep/semgrep: Updgrade and rename sgrep to semgrep. 
With its new upgrade, sgrep has been renamed to semgrep.

Rename sgrep.yml to semgrep.yml
 2020-05-01 11:01:14 -07:00