migrating some projects from circleci to github actions

[gonewest818]

The following discussion applies to:
anzu, company-jedi, dired-k, git-gutter, git-gutter-fringe, git-messenger, and smeargle.

Before this weekend these 7 projects were using CircleCI to run tests (if any) and some simple lint type checks on every commit. However this weekend I noticed the integration between GitHub and CircleCI was failing for some of these projects, and the builds themselves were broken for at least one project.

I took a little time to put together the equivalent build configurations in GitHub Actions. The new CI configs are in place, running, and functionally equivalent to what existed before. The last step is to remove whatever residual CircleCI integration is in place for these 7 projects and disable the builds.

Here is where one would usually go do that:
https://app.circleci.com/projects/project-dashboard/github/emacsorphanage/

I would do this myself but I don't have the rights, so unfortunately I need to ask.

thanks

[tarsius]

I welcome the move from circle ci to github ci.

I have disabled the mentioned repositories. I had to enable circle ci on my private account to be able to do so, including my private repositories, which I did not appreciate and is a major reason why I prefer to use github (which already have access or course) instead of circle. I am disabling circle ci again now and how that does mess anything up.