Philippe Mathieu-Daudé

Pass more options to --pull-request [Feature request]

1

`git-publish --pull-request` push a tag to the repository. When this repository is hosted on Gitlab.com and has Continuous Integration enabled, this triggers a new pipeline by default. Pipelines aren't free....

**Feature request** Add the GitHub _Feature request_ tag to this repository so user filling such request can tag them :) (this is a feature request).

**Feature request** I found myself sending series with uncommitted changes few times already. As I believe it happened to others, maybe displaying a dumb warning would be useful to all....

**Feature request** When respinning a series, list in the cover the patches that don't contain Reviewed-by or Acked-by tags, to help reviewers to look at them first (useful with long...

When respinning pull request, use git-backport-diff to drop unmodified patches

1

**Feature request** When respinning a pull request, we could use `git-backport-diff` to find unmodified patches, and only send the new/modified ones. Example: https://lists.gnu.org/archive/html/qemu-devel/2020-06/msg06956.html

Suggest 'Supersedes' tag if subject changed

1

This is a feature request. As git-publish store the subject in a git note, it could notice a change in subject between version and suggest the user to add a...