Merge branch 'rs/http-push-simplify'
commitd0258d09448bff3da88b9b43636de1d8310ec436
authorJunio C Hamano <gitster@pobox.com>
Fri, 18 Oct 2019 02:40:49 +0000 (18 11:40 +0900)
committerJunio C Hamano <gitster@pobox.com>
Fri, 18 Oct 2019 02:40:49 +0000 (18 11:40 +0900)
tree0a344228991eb0bd118c43890fcf496f5be7cb16
parentbb52def6dafabbfa07ee51562c9291222df55bd9
parent5cc6a4be11644f3d302eee2e735261ace4cd1c4c
Merge branch 'rs/http-push-simplify'

Code cleanup.

* rs/http-push-simplify:
  http-push: simplify deleting a list item