You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Nov 13, 2021. It is now read-only.
Right now we check for the remote origin. But in case the remote has a different name it's not possible to run semantic-rs right now.
There should be a mechanism in place that allows users to run semantic-rs with a different remote than origin.
The text was updated successfully, but these errors were encountered:
EDIT: with #80 being merged it's possible to run semantic-rs but it does not push any changes and also does not create a release on GitHub.
I gave that issue some thought and my proposal here is to have a configuration file in place which denotes the remote to be used. The other option would be to ask the user but since the user is probably going to run semantic-rs multiple times they probably don't want to name the remote every time again.
Right now we check for the remote
origin
. But in case the remote has a different name it's not possible to run semantic-rs right now.There should be a mechanism in place that allows users to run semantic-rs with a different remote than
origin
.The text was updated successfully, but these errors were encountered: