Skip to content

Pull requests: r2c-CSE/semgrep-utilities

New pull request New
12 Open 45 Closed
12 Open 45 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

prototype of GitHub teams to Semgrep teams
#143 opened Apr 22, 2026 by juliebyrne-gh Contributor Loading…
[WIP] Change organization’s avatar
#134 opened Feb 2, 2026 by Copilot AI • Draft
@swati-sharma
Add Semgrep repository tag creation utility
#129 opened Aug 27, 2025 by kyle-semgrep Contributor Loading…
6 tasks done
@stuartcmehrens @kyle-semgrep
24
Update GitHub onboarding scripts README
#126 opened Jun 26, 2025 by armchairlinguist Contributor Loading…
Stuart/unify contributor scripts
#125 opened Jun 25, 2025 by stuartcmehrens Contributor Loading…
10
[SCRIPT]: Add script to delete projects in bulk
#124 opened Jun 20, 2025 by oscarhearsawho Loading…
15
Update github_recent_contributors.py - Added support for pagination when we get the list of repositories and list of commits using the GH API
#117 opened Apr 25, 2025 by nnayar-r2c Contributor Loading…
Semgrep scan metrics
#114 opened Apr 17, 2025 by nnayar-r2c Contributor Loading…
Update github_recent_contributors.py
#107 opened Feb 7, 2025 by davand01 Loading…
1
Update create_work_items_from_pr.yaml
#51 opened Mar 11, 2024 by sebasrevuelta Collaborator Loading…
Add semgrep2
#48 opened Feb 23, 2024 by sebastianrevuelta Contributor Loading…
print tags for projects
#43 opened Jan 3, 2024 by sebastianrevuelta Contributor Loading…
7
ProTip! Exclude everything labeled bug with -label:bug.