Should we connect Github to Discourse? How?

We have public pages on Discord like the data transparency page. I wonder if we’d like any deeper connection between our Discourse and Github? The general intuition behind this question is information sync + richer connections between the disjoint components that together form our virtual community.
@Fred @chayoterabit

I am happy with a manual connection between GitHub and this forum. Like, when a question is asked here that is related to an issue, paste the link. When a feature in a pull request is related to a discussion that is happening here, paste a link there.

I’m not sure what kind of further integration you have in mind. I suggest you browse the discourse plugins and see if something catches your attention, to make your suggestion more concrete.