Skip to content

Commit efb11cc

Browse files
gibfahngibfahn
committed
doc: rename jenkins job configuration doc
PR-URL: #811 Refs: #798 (comment) Reviewed-By: Johan Bergström <[email protected]> Reviewed-By: Michael Dawson <[email protected]>
1 parent 87d8c16 commit efb11cc

1 file changed

Lines changed: 3 additions & 2 deletions

File tree

doc/process/jenkins_job_configuation_access.md renamed to doc/process/jenkins_job_configuration_access.md

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,6 @@
1-
# Introduction
1+
# Jenkins Job Configuration Access
2+
3+
## Introduction
24

35
There are a number of cases where we would like working group members
46
to be able to run and or edit jobs within jenkins. Examples include
@@ -76,4 +78,3 @@ Once approved by the working group and existing working group admins,
7678
one of the existing working group admins can then add the new
7779
individual to the github admin team for the working group
7880
(e.g. benchmarking-admins).
79-

0 commit comments

Comments
 (0)