github pr状态更新如何实现？

Question

github上提过pr后，别人在review后自己能不用刷新马上更新pr的状态，这个功能是如何实现的？我知道可以用实时数据库服务来实现，还有其他可行的办法么？就是图片部分的功能

Answer 1

很明显，是 websocket。

PS：你说的实时数据库是什么东西