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 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