Commit 5d8a4659ead8f4fb5464008af09d2f1a81e4cf53

Patrick Steinhardt 2019-09-13T10:31:49

Merge pull request #5195 from tiennou/fix/commitish-smart-push smart: use push_glob instead of manual filtering