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
Right now, we have to compile the documentation locally before pushing. This both causes issues with needing to remember to update the documentation, but also a hot mess of merge changes that are completely unnecessary to be checking. Is there an intelligent way to do this so that it's somehow compiled on github on push? Or some other method that removes user error and giant merge requests?
The text was updated successfully, but these errors were encountered:
Right now, we have to compile the documentation locally before pushing. This both causes issues with needing to remember to update the documentation, but also a hot mess of merge changes that are completely unnecessary to be checking. Is there an intelligent way to do this so that it's somehow compiled on github on push? Or some other method that removes user error and giant merge requests?
The text was updated successfully, but these errors were encountered: