Given the fact that only one person asked for it and that only ten days are left in October, I think the label solution might be the simpler one for the moment. (Assuming that adding Topics to the project requires a vote?) The label has already been created and is ready to be applied, to make the person happy which asked for it. In November, the label can be removed again.
[cid:image003.png@01D6A77C.74236BB0] In general, I agree that GitHub Topics are a better solution. If we decide to participate officially next year, we should take the time to inform ourselves in advance and announce our participation in form of a blog post (I volunteer). Also, GitHub Topics should be discussed in more generality, i.e., what's our benefit of using GitHub Topics, and which topics we should add to the project. Up to yesterday, I didn't give GitHub Topics much thought. Matthias From: openssl-project <openssl-project-boun...@openssl.org> On Behalf Of Dr Paul Dale Sent: Wednesday, October 21, 2020 5:31 AM To: openssl-project@openssl.org Subject: Hacktoberfest There has been a request in #13172<https://github.com/openssl/openssl/pull/13172> to tag the PR for Hacktoberfest<https://hacktoberfest.digitalocean.com/>. There are two ways<https://hacktoberfest.digitalocean.com/hacktoberfest-update> to do this: add a tag to the PR or a topic to the project. Is either something the project is interested in doing? Rather than polluting our already busy tags menu, the topic seems the easier path to me. Pauli -- Dr Paul Dale | Distinguished Architect | Cryptographic Foundations Phone +61 7 3031 7217 Oracle Australia