4 ms·how many users did github have at the time vs gitlab now?by thefreeman 5y agohow many users did github have at the time vs gitlab now?