feeds: use GitHub repo mirror to lower bandwidth usage