Commit Graph

4 Commits (f95f7e41fd189c676d3b013175d58080cfb8c2f1)

Author SHA1 Message Date
Oliver Günther ccfa29c728
Move license and copyright docs to root, fix names and references 3 years ago
ulferts e5111ab1d7
use github_html_url equivalent to github_id when searching (#9240) 4 years ago
Philipp Tessenow 2f9d252456
Show github pull requests in the GitHub tab (#9148) 4 years ago
Philipp Tessenow bd906716e5
[#36153] link manually created pull request to a work package using the GitHub integration plug-in (#9070) 4 years ago