Skip to content
#

interactive-learning

Here are 22 public repositories matching this topic...

Artemis
krusche
krusche commented Jan 16, 2021

Until now, Artemis assumed the default branch in git is master.
Since many different systems are in the process of renaming the default branch from master to main, Artemis should also get independent and rather read the default branch from the git configuration.

Needed changes: replace all places in which master is "hard coded" and try to retrieve the default branch from the git configuratio

Orion
ungaralex
ungaralex commented Nov 17, 2020

This was the result of a discussion we had way back, where we decided to not let users break out of the "Artemis space" since we can't really guarantee what will happen as only the usage with the Artemis website is tested.
Let's also say a teaching assistant links a code example and the student clicks on it. He is now outside of our domain and has no obvious way of going back, apart from re-open

Improve this page

Add a description, image, and links to the interactive-learning topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the interactive-learning topic, visit your repo's landing page and select "manage topics."

Learn more