diff options
| author | 2019-11-02 13:38:04 +0100 | |
|---|---|---|
| committer | 2019-11-02 13:38:04 +0100 | |
| commit | c277e15141b99cdcb392f4a32126757d58b44423 (patch) | |
| tree | d4a15c82238fd59f79bf83e68bac3fb1908c5074 /docs | |
| parent | 6a317d876c1da6243f212c9c2967cd44179762d1 (diff) | |
Git fetch+reset instead of clean+fetch+merge (#2625)
Fix https://github.com/FreshRSS/FreshRSS/issues/2619
Avoid potentially dangerous git clean, and use more robust fetch + reset
strategy instead
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions
