Closed ptmerz closed 1 year ago
Now that LGTM is gone, and we have moved to GitHub's new CodeGL action (#223), we should also remove the badges from the README and the .lgtm.yml file and check that there's no other references in the rest of the repo.
Now that LGTM is gone, and we have moved to GitHub's new CodeGL action (#223), we should also remove the badges from the README and the .lgtm.yml file and check that there's no other references in the rest of the repo.