summaryrefslogtreecommitdiff
path: root/github-management
diff options
context:
space:
mode:
authorMichalis Kargakis <kargakis@protonmail.ch>2019-04-23 22:52:05 +0100
committerMichalis Kargakis <kargakis@protonmail.ch>2019-04-23 22:52:05 +0100
commit6b91adc6c38182e3db08303c43bb2219a52e6db2 (patch)
tree4871c79f3671e8d64d0befca70d96003001202bd /github-management
parent061c35b9b35558aca93401af5a1ced0d73f266d0 (diff)
Jenkins is no more
Diffstat (limited to 'github-management')
0 files changed, 0 insertions, 0 deletions