paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-10-31 20:13:46 +00:00
Code Issues Packages Projects Releases Wiki Activity

sgrep/semgrep: Updgrade and rename sgrep to semgrep.

Browse Source 
With its new upgrade, sgrep has been renamed to semgrep.

Rename sgrep.yml to semgrep.yml
This commit is contained in:
Aman Agrawal
2020-04-27 13:46:16 +05:30
committed by Tim Abbott
parent a3d51ae9af
commit 5ab62a3514
6 changed files with 30 additions and 31 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
version.py
View File

@@ -44,4 +44,4 @@ API_FEATURE_LEVEL = 2
# historical commits sharing the same major version, in which case a
# minor version bump suffices.
PROVISION_VERSION = '81.2'
PROVISION_VERSION = '81.3'