PR #361 Delete deepsource.tar.gz

Delete deepsource.tar.gz #361

guibranco merged 9 commits into main from guibranco-patch-4

Delete deepsource.tar.gz

03d61c6a

guibranco enabled auto-merge (squash) 85 days ago

gstraccini added ☑️ auto-merge

github-actions added size/XS

korbit-ai added korbit-code-analysis

gstraccini assigned

guibranco 85 days ago

korbit-ai commented on 2024-08-30

gstraccini approved these changes on 2024-08-30

Update .gitignore

dda91ef8

Delete deepsource.exe

218f071b

Update .gitignore

01cc7157

Delete completions/deepsource.bash

48634843

github-actions added size/L

github-actions removed size/XS

Delete completions/deepsource.fish

a6a84230

Delete completions/deepsource.zsh

2e4ebed6

github-actions added size/XL

github-actions removed size/L

Merge branch 'main' into guibranco-patch-4

16813e87

Merge branch 'main' into guibranco-patch-4

890eacdc

guibranco merged 1a26dd29 into main 85 days ago

guibranco deleted the guibranco-patch-4 branch 85 days ago

Reviewers

gstraccini

korbit-ai

Assignees

guibranco

Labels

size/XL ☑️ auto-merge

Milestone

No milestone