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

Remote: add Prune option to PushOptions#1165

Merged

mcuadros merged 2 commits intosrc-d:masterfrom

seletskiy:push-prune

Jul 26, 2019

Commits on Jul 25, 2019