Context
A Github token is required to read and write the Jenkinsfile. In the situation where a second user tries to edit a pipeline and they have never provided their Github token, the editor should prompt them for their token. They could also be asked to provide their credential if the one stored is invalid.

Scope

• When loading the editor we should check that the token they have associated with the user is valid and has the correct scopes to write to the repository.
  • If they cannot write to the repository they should see a dialog:
    • Title: Permission denied
    • Description: You do not have the required permissions to edit this Pipeline.
    • Button: "Go back"
• If there is no token, we ask for the token (as per the mockups below)
  • Title: "Connect to Github"
  • Description: "Jenkins needs an access key to read and write to the repository <i>$repositoryName</i>"
  • Buttons
    • Connect
    • "Cancel" - takes you back whence you came

Notes
Keep in mind that we will have to make the same flow work for when the user does not have SSH credentials for Git and Bitbucket. Does not need to be resolved this effort but just something to think about as you are developing.

Mockups

• https://invis.io/Q2A110KM9#/219318668_Editor-Commit_New_File_Connect_To_Github
• https://zpl.io/ZT8LLy