Skip to content

prefer HEAD to master in update tasks#1502

Merged
peff merged 3 commits intomasterfrom
prefer-head
Sep 11, 2020
Merged

prefer `HEAD` to `master` in update tasks#1502
peff merged 3 commits intomasterfrom
prefer-head

Commits

Commits on Sep 11, 2020