Improve speed and reliability of repo management#157

igorpecovnik merged 12 commits intomainarmbian/armbian.github.io:mainfrom

alwaysarmbian/armbian.github.io:alwaysCopy head branch name to clipboard