Now that I've used it a bit, I have to agree that gitlab is a much better interface; but I don't see any point in the numbered star -- is this a popularity indicator?
_______________________________________________ Cmdist mailing list [email protected] https://cm-mail.stanford.edu/mailman/listinfo/cmdist
