* Fixed a regression making it impossible to sync new versions of versioning pull requests with base branch updates when using GitHub API pushes * update ghcommit