GitHub Linkback: If someone mentions a PR/Commit here then have a bot automatically make a comment including a link to the Discuss thread as a comment in the respective PR/Commit
GitHub Badges: Allows for automatic badges based on contributions to repos
Both of the above are able to be limited to specific orgs/repos.
Added GitHub integration, you’ll now see the user discuss-daml make comments in PRs and commits on GitHub if you reference them here.
Badges are also enabled so if you have enough commits to digital-asset/daml you should get badges but I’m not sure how it ties together users yet (maybe email) so we’ll see if it works
EDIT: Looks like it does email and screenname matching so hopefully this works out well enough.
Does this have any impact on some people not being able to include GitHub URLs at all? I’m trying to create a separate topic with some GitHub links and am getting an error: “Sorry you cannot post a link to that host.”