I’ve tried searching the forum and discourse github for an answer, but I didn’t find anything. Is there an existing plugin that lets you mention github issues, pull requests and commits in a similar manner as you can from within GitHub? By simply typing “org/repository#15” ?