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
Currently boris is hard-coded to read boris-git.toml from master, but if you change the default branch to something else that's not respected. This should be done in a non-github specific way, by using the remote HEAD ref.
The text was updated successfully, but these errors were encountered:
Currently boris is hard-coded to read
boris-git.toml
from master, but if you change the default branch to something else that's not respected. This should be done in a non-github specific way, by using the remoteHEAD
ref.The text was updated successfully, but these errors were encountered: