aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/ci
diff options
context:
space:
mode:
authorGravatar Maxime Dénès <mail@maximedenes.fr>2018-03-09 23:08:55 +0100
committerGravatar Maxime Dénès <mail@maximedenes.fr>2018-03-09 23:08:55 +0100
commit020c3448cc71618c3e74f64ae6217113072d1bbd (patch)
tree0f4a7d4282730eb397c64be13ba10e14c465283a /dev/ci
parent1f2a922d52251f79a11d75c2205e6827a07e591b (diff)
parent4d9375d18d58958d992f76799ad545b800321d78 (diff)
Merge PR #6949: Revert PR #873: New strategy based on open scopes for deciding…
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions