@Codeberg Is there a way to get notified about pushes to some repository, pulling is fine. The best I can currently think of is git ls-remote in a loop, but that is wasteful on both ends, so if there is a better way to get the information I need, it would be great.