Add button for empty-commits

[ylecuyer]

Useful for triggering CI

[campersau]

You can amend the previous commit with no additional changes from the UI.

[ylecuyer]

Yes but it is not an empty commit, it forces you to ff push, an empty commit doesn't

[jung-kim]

Isn't ability to re trigger CI should be a fix in CI side not the git source side?

[ylecuyer]

Well it's a git command so I expect to have it available in my git client.

(fwiw with the CI we are currently using (drone) if you restart the CI while a build is running, it's not possible to cancel/restart the build from the interface. You must create a new commit to newly trigger the CI)

[jung-kim]

I understand the problem but I feel like that should be the fixes on drone side not ungit

I think empty commit is fine but I hope it doesn't bring too much complications