This account exists for filing a bug report (or similar kind of stuff); I consider lack of https git pushing a deal-breaker.