One of the plasmic updates fixed the issue of not being able to push a new pull request to github. Thank you!