GitHub Desktop is an amazing way for people to locally edit their GitHub file repositories without any scripting, but did you know you can also use GitLab repositories with GitHub Desktop? For educators, this is very valuable as with the open source app GitLab you can use one of your own institutional servers for storing files. The following step-by-step tutorial, which includes steps to make a Gi