diff options
| author | 2019-11-04 18:05:20 +0100 | |
|---|---|---|
| committer | 2019-11-04 18:05:20 +0100 | |
| commit | 2495172a05725684fa4db2ed3417461d386c5cbf (patch) | |
| tree | 2ab73be54acf5685f29715666b6f55bae88add2d /data | |
| parent | 7819a43197d34ef7a6c5626e9e48d7db075c37c9 (diff) | |
Better git fetch (#2626)
Related to https://github.com/FreshRSS/FreshRSS/pull/2625
If for some reasons branches have diverged:, e.g.:
```
$ git status -sb --porcelain remote
## dev...origin/dev [ahead 4, behind 1]
```
Diffstat (limited to 'data')
0 files changed, 0 insertions, 0 deletions
