Commit Graph

4 Commits (c24507be341d16c303324850258092ff5be1538b)

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