A fix for using HTTP proxies for repository synced is now released