git-push-delete.md
1 Finally, we can also delete branches with `git push`: 2 3 ``` 4 $ git ls-remote rad://z42hL2jL4XNk6K8oHQaSWfMgCL7ji/z6MknSLrJoTcukLrE435hVNQT4JUhbvWLX4kUzqkEStBU8Vi refs/heads/* 5 145e1e69bef3ad93d14946ea212249c2fa9b9828 refs/heads/alice/1 6 f2de534b5e81d7c6e2dcaf58c3dd91573c0a0354 refs/heads/master 7 ``` 8 9 ``` (stderr) RAD_SOCKET=/dev/null 10 $ git push rad :alice/1 11 To rad://z42hL2jL4XNk6K8oHQaSWfMgCL7ji/z6MknSLrJoTcukLrE435hVNQT4JUhbvWLX4kUzqkEStBU8Vi 12 - [deleted] alice/1 13 ``` 14 15 ``` 16 $ git ls-remote rad://z42hL2jL4XNk6K8oHQaSWfMgCL7ji/z6MknSLrJoTcukLrE435hVNQT4JUhbvWLX4kUzqkEStBU8Vi refs/heads/* 17 f2de534b5e81d7c6e2dcaf58c3dd91573c0a0354 refs/heads/master 18 ```