DanConwayDev · 6d The repository state is stored in the repository state event. The maintainer publishes a new /updated state event and pushes the associated new git data to the grasp servers. The ngit git plugin is co... Silberengel @Silberengel 1771255316 I need to know the event for pushing the new git data to the grasp servers, so that I can also publish that kind. I can't find that event description in the docs.