Happened between two pushes, yet I didn’t remove the file. Seems to auto-resolve itself, and when it does it fails the commit as all the previous issues are reported as new.
Additionally, is this BB relevant to report such problems?
@bicobus This seems to be a temporary issue with GitHub, getting 404 while fetching .deepsource.toml from the repository, We have handled this on our side, let us know if it occurs again.
when it does it fails the commit as all the previous issues are reported as new
This is related to the same bug, this too shall be fixed.
Additionally, is this BB relevant to report such problems?
Yes.