Am 29.04.20 um 17:30 schrieb Martin Wilck:
On Wed, 2020-04-29 at 17:05 +0200, Jan Engelhardt wrote:
On Wednesday 2020-04-29 15:31, Martin Wilck wrote:
"A patch (0002-Fix-disable-callback-gnome-shell-3.30- compatibility.patch) is being deleted without this removal being mentioned in the changelog."
If you look at the changelog, you can see that the patches have been *renumbered*
That is still a different filename.
The way I did it was:
* renumber patch: 0102-Fix-disable-callback-gnome-shell-3.30- compatibility.patch (was 0002)
Don't argue with that stupid bot. My advice: just use patch1.patch patch2.patch patch3.patch as name and never worry about renaming patches again ;-) -- Stefan Seyfried "For a successful technology, reality must take precedence over public relations, for nature cannot be fooled." -- Richard Feynman -- To unsubscribe, e-mail: opensuse-factory+unsubscribe@opensuse.org To contact the owner, e-mail: opensuse-factory+owner@opensuse.org