chiark / gitweb /
Fix sync to push the popped patches back after sync'ing