title: How to change a past git commit+push message in RubyMine?
body: <p>I accidentally gave a wrong message and pushed a commit with it using RubyMine. Is there any way I can correct it? RubyMine way would be preferred not to mess up git, but other trusted ways are also welcome.</p>