Realtime

GitLab has rudimentary realtime features, and we need to evolve to include proper push-based realtime for (nearly) everything.