Dear GitHub,
What if the request is initiated by a member from the wider community? Where would you draw the line between a general community member and an F-Droid contributor? What if the requester is a contributor to both projects (but not an owner)?
I completely understand their reaction, which is appropriate, and I also see their point, but outright banning this type of request unless it is initiated by the project owner is overly harsh, and frankly ridiculous in the face of the open community we’re trying to foster.
I think it’d be okay if requests are initiated by a variety of people, and stay low-volume and polite, following the guidelines in your post. That is to say, people should do everything in their power to be the opposite of a spammer.
Also, thanks for writing down your experience here.