New tags in the lean4 github repo

Stream: lean4

[Daniel Fabian]

I wanted to mention here that there are now tags in the github issues. And the help wanted tag may be of interest for people who are looking for ways to contribute.

https://github.com/leanprover/lean4/issues?q=is%3Aissue+is%3Aopen+label%3A%22help+wanted%22