config.txt: move push-config.txt to config/
commitd15dc43968a2a4a8553916985e1b9bdd22b3f7eb
authorNguyễn Thái Ngọc Duy <pclouds@gmail.com>
Sat, 27 Oct 2018 06:23:27 +0000 (27 08:23 +0200)
committerJunio C Hamano <gitster@pobox.com>
Mon, 29 Oct 2018 01:17:03 +0000 (29 10:17 +0900)
tree936faba1457a62be5ec2e3d92d98e279c7218d3e
parent7f50a495f6c0e28a93b0e68584272a46ee2f20ff
config.txt: move push-config.txt to config/

Signed-off-by: Nguyễn Thái Ngọc Duy <pclouds@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/config.txt
Documentation/config/push.txt [moved from Documentation/push-config.txt with 100% similarity]