diff options
| author | Michael Muré <batolettre@gmail.com> | 2018-07-25 18:02:11 +0200 |
|---|---|---|
| committer | Michael Muré <batolettre@gmail.com> | 2018-07-25 18:02:11 +0200 |
| commit | 108962a1574dd7d04ee4c17ab6d923475b523eef (patch) | |
| tree | adf11f12097b2e539fcdf1cbc44b745eac4821e7 /webui | |
| parent | 6a12373965aff9f80147f8b5bff6a5a104927365 (diff) | |
| download | git-bug-108962a1574dd7d04ee4c17ab6d923475b523eef.tar.gz | |
add test for push/pull/rebase with a real git repo
Diffstat (limited to 'webui')
0 files changed, 0 insertions, 0 deletions