Mirco Babin

Results 12 comments of Mirco Babin

I don't know when a merge commit exactly is created. Perhaps it's the server part at Bitbucket, I don't know. I just want to get rid of the "push" button.

@gitster: 1) I have specifically created a side project GitNoob https://github.com/MircoBabin/GitNoob to ensure only fast-forward-push. 2) My request is about hiding the push button (only the button on the main...

@PhilipOakley: I created a pull request, see https://github.com/prati0100/git-gui/pull/74

I have added the motivation to the commit message. I don't know if this is the right format or the right wording for the commit message. If something should be...

- It will remove only the button. - It will not remove the menu item. ![image](https://user-images.githubusercontent.com/8981285/170204568-cc5b1a52-233c-40e3-9ae9-020a5fbf801d.png)

This suggestion would be a great addition. I also have this problem with links, that I sometimes just want to copy and not execute. Because sometimes the link will be...

I'm closing this. It's been a year. No results or useful comments. This was a waste of my time and energy.

I'm closing this. It's been a year. No results or useful comments. This was a waste of my time and energy.

### Bypass For now I have implemented a bypass in HtmlFormatter.php by wrapping the iconv() call inside a try catch block: ```php protected function DecodeUnicode($code, $srcEnc = 'UTF-8') { $utf8...

See also the Bypass presented in https://github.com/henck/rtf-html-php/issues/96#issuecomment-1489735190