Commit Graph

11 Commits (570e5de984448aaa7bd1e67ccd93dded9a61a164)

Author SHA1 Message Date
Birthe 6ec3d74f03
Adding the information to choose Send me everything 3 years ago
ulferts 8bcd664dc5
github integration documentation polishing (#9361) 4 years ago
RBernsen b26031b72c
Rebecca GitHub integration (#9354) 4 years ago
RBernsen 0b8eb4adf6 Changes in GitHub integration 4 years ago
RBernsen 123f2e8439 GitHub integration addition 4 years ago
Philipp Tessenow 2f9d252456
Show github pull requests in the GitHub tab (#9148) 4 years ago
ML-OpenP af89682516 Many words corrected to lower case 4 years ago
ulferts da4e74208b
update permission requirements in docs 4 years ago
François Granade 5c3a741e21
Github Integration: document current GET parameter for the API key 5 years ago
Markus Kahl 39a00207cd grammar (setup -> set up) 5 years ago
Markus Kahl 4f4365f22b added documentation for github integration 5 years ago