2 ms·No need for websockets. Git has supported pushing and pulling via HTTP for many years.by teraflop 12y agoNo need for websockets. Git has supported pushing and pulling via HTTP for many years.