Console Output

Branch indexing
11:54:05 Connecting to https://api.github.com using Jenkins ORNL
ERROR: Pull request 4023 : Not mergeable at 8a5e3389313a950257e2d11a6b47085f80d0880c+ddc4846e1090e6bf8f25f488285761a2a6551aef (NOT_MERGEABLE)
Finished: FAILURE