View Issue Details
| ID | Project | Category | View Status | Date Submitted | Last Update |
|---|---|---|---|---|---|
| 0005729 | Taler | deployment and operations | public | 2019-05-21 00:33 | 2019-05-21 11:57 |
| Reporter | Marcello Stanisci | Assigned To | Marcello Stanisci | ||
| Priority | normal | Severity | minor | Reproducibility | have not tried |
| Status | closed | Resolution | no change required | ||
| Summary | 0005729: gitolite-admin.git @ Gv doesn't get pushes. | ||||
| Description | When pushing on gitolite.git, the main repository on Gv doesn't get updated. I count two repositories for Gitolite, (1) /home/git/.gitolite, and (2, that should be the main repository) /srv/gitolite-admin.git. It seems to be that (1) fetches from (2), but none of them actually gets the pushed changes. | ||||
| Tags | No tags attached. | ||||
| Date Modified | Username | Field | Change |
|---|---|---|---|
| 2019-05-21 00:33 | Marcello Stanisci | New Issue | |
| 2019-05-21 11:57 | Marcello Stanisci | Assigned To | => Marcello Stanisci |
| 2019-05-21 11:57 | Marcello Stanisci | Status | new => closed |
| 2019-05-21 11:57 | Marcello Stanisci | Resolution | open => no change required |
| 2019-05-21 11:57 | Marcello Stanisci | Note Added: 0014421 |
