Skip to content

Fix force-push without fetch#778

Merged
asottile merged 1 commit intomasterfrom
pre_push_force_push
Jul 2, 2018
Merged

Fix force-push without fetch#778
asottile merged 1 commit intomasterfrom
pre_push_force_push

Commits

Commits on Jul 2, 2018