good to know! I probably will hold out until I just port everythin to dark, but good to hear of yet another thing that gitlab does better than github.