commit | 572fe0f267c643ef3b61a61c2b75700fe6b212d4 | [log] [tgz] |
---|---|---|
author | Dave Brondsema <dave@brondsema.net> | Tue Sep 18 13:58:43 2018 -0400 |
committer | Dave Brondsema <dave@brondsema.net> | Tue Sep 18 13:58:43 2018 -0400 |
tree | 0d86d0de7a9a0a4bc426d8b5e16bc8e51465b716 | |
parent | 4ebec5c77eef13b19cf01f6db57b1a1f09f8acd2 [diff] |
[#8231] don't actually change the repo (web process might not have permission to, and this can get called from get_default_branch() automatically