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
It is never clearly mentioned in our guides that Dodona will also make changes to a repository.
This results in some users being confused about merge issues. We should find a place to mention this without further confusing users unfamiliar with git.
The text was updated successfully, but these errors were encountered:
It is never clearly mentioned in our guides that Dodona will also make changes to a repository.
This results in some users being confused about merge issues. We should find a place to mention this without further confusing users unfamiliar with git.
The text was updated successfully, but these errors were encountered: