New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Separate development setup from contributing #140

Closed

pkeilbach opened this issue Oct 9, 2024 · 0 comments · Fixed by #134

Assignees

Labels

Milestone

Winter term 2024/...

Owner

pkeilbach commented Oct 9, 2024

The development setup guide should be independent of whether someone forked or cloned the repository.

pkeilbach added this to the Winter term 2024/25 preparation milestone

pkeilbach self-assigned this

pkeilbach added the documentation label

pkeilbach added a commit that referenced this issue


          separate dev setup from contributing (#140)

5f68705

pkeilbach mentioned this issue

Winter term 2024/25 preparation #134

Merged

pkeilbach closed this as completed in #134

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment