Move issues over from github
Maybe we should go over the gitlab issues and decide if they are still relevant before moving them to this repo.
Maybe we should go over the gitlab issues and decide if they are still relevant before moving them to this repo.