commit | 93f47736bc5ff29a31ce362e35917804f415bd69 | [log] [tgz] |
---|---|---|
author | Jakub Kicinski <kuba@kernel.org> | Fri Nov 06 09:31:45 2020 -0800 |
committer | Daniel Borkmann <daniel@iogearbox.net> | Mon Nov 09 22:02:31 2020 +0100 |
tree | 14dbc5694240d8bf9833a274ea30448d475ce9dd | |
parent | c05013d15f20ce44e98ddf8b2cba0762c731c6c7 [diff] |
pw-pull: rename to pw-request-pull Follow git command names and make space for a pw-pull command which would do pulling, rather than generate a PR. Signed-off-by: Jakub Kicinski <kuba@kernel.org> Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>