chiark / gitweb /
fix push
[dgit.git] / NOTES
1 remote is dgit
2   can do fetch thing?
3   push is deliberately broken?
4
5 remote refs
6   refs/dgit/<suite>
7 local refs
8   refs/heads/<suite>
9   refs/remotes/dgit/<suite>