Skip to content
This repository was archived by the owner on Sep 11, 2020. It is now read-only.

Remote: add Prune option to PushOptions #1165

Merged
merged 2 commits into from
Jul 26, 2019
Merged

Conversation

seletskiy
Copy link
Contributor

Fix #624

@mcuadros
Copy link
Contributor

Can you sign the DCO and review the tests, are failing.

Signed-off-by: Stanislav Seletskiy <[email protected]>
According to:
https://github.com/git/git/blob/master/Documentation/technical/pack-protocol.txt

> The packfile MUST NOT be sent if the only command used is 'delete'.

Signed-off-by: Stanislav Seletskiy <[email protected]>
@seletskiy
Copy link
Contributor Author

@mcuadros done.

@mcuadros mcuadros changed the title add Prune option to PushOptions Remote: add Prune option to PushOptions Jul 26, 2019
@mcuadros mcuadros merged commit 1edb992 into src-d:master Jul 26, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

How to do equivalent of 'git fetch --prune'
2 participants