Console Output

Branch indexing
11:51:56 Connecting to https://api.github.com using Jenkins ORNL
ERROR: Pull request 6494 : Not mergeable at 751ae4a95c9a6ca09d8e9be696037c49c9d46d59+1ebb3afc4efe21c621c2dca9158ada721bd86906 (NOT_MERGEABLE)
Finished: FAILURE