Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
GitHub Actions: Remove greetings workflow (#450)
It was a nice idea, and I still like it, but I don't see a big benefit of this anymore.
- Loading branch information