[commits] [doc] backup-redmine/2023-01-14,main: doc: batman-adv/Building-with-openwrt: switch to non-controversy git branch names (0ce6163e)