Closed marcduiker closed 3 months ago
@marcduiker should the ghc2023 badge be removed from the manifest?
@marcduiker should the ghc2023 badge be removed from the manifest?
Yes, the ghc2023 badge can be removed 👍
/assign
🚀 Issue assigned to you @Rutam21
Update the
.github/holopin.yaml
file with the following info to set the default Holopin badge for this repo:Once this is in place, maintainers can award contributors via the Holopin Bot by mentioning the contributors' username in a PR comment when the PR is accepted:
@holopin-bot @username
Please label this as a good first issue.