[YETUS-1022] Get commit sha from github PR json

• Type: Bug
• Status: Resolved
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 0.13.0
• Fix Version/s: 0.13.0
• Component/s: Precommit, website and documentation

Release Note

<!-- markdown -->
Git SHAs should now be more consistent on repositories hosted on GitHub, especially when running on Jenkins.

• Assignee: Allen Wittenauer
• Reporter: Allen Wittenauer
• Created: 10/Oct/20 22:17
• Updated: 17/Oct/20 05:01
• Resolved: 12/Oct/20 12:54

Description

For some CI systems (Jenkins), the merge strategy sets the commit sha to the local sha, not the one in GitHub. github plug-in should probably always override our internal variable if we've been given a github PR number.

Issue Links

• links to: GitHub Pull Request #156