[commits] [doc] backup-redmine/2020-09-12,master: doc: batman-adv/Building-with-openwrt: use correct term for retrieving sources via git (424430f)