Skip to content
Snippets Groups Projects
Commit 8021acd1 authored by Jonathan Weth's avatar Jonathan Weth :keyboard:
Browse files

Merge branch 'fix/remove-github' into 'master'

Drop support for GitHub

See merge request !80
parents 0d71d313 42fe6a8e
No related branches found
No related tags found
1 merge request!80Drop support for GitHub
Pipeline #88333 failed
Pipeline: AlekSIS

#88341

    <!-- AlekSIS is developed on EduGit. GitHub only serves as
    backup mirror and to help people find the project. If
    possible, please submit your merge request on EduGit!
    EduGit accepts logins with GitHub accounts.
    -->
    [ ] I have read the above and have no way to contribute on EduGit
    [ ] I understand that GitHub's terms of service exclude young and
    learning contributors, but still cannot contribute on EduGit
    instead.
    0% Loading or .
    You are about to add 0 people to the discussion. Proceed with caution.
    Finish editing this message first!
    Please register or to comment