Nikos Alexandris

For example, what does `Ctrl`+`F` do?

> For example, what does `Ctrl`+`F` do? https://github.com/prati0100/git-gui/blob/c91ee2bd61299737c2795bd7b798e17ef0714e47/git-gui.sh#L2738 OK, but it would be nice to have these documented.

I have no time to work on it, but maybe something (at least part of it) for 'miller': https://gis.stackexchange.com/q/328580/5256?

> I think it's a great idea - though I'm not super familiar with gitlab. Any interest in making a PR following a similar structure to the GitHub section? I'm...

> I feel like there is more to supporting gitlab. For example, the github logo in the top right corner should be substituted with a gitlab logo. I currently use...

Now an 'official' example at https://gitlab.com/pages/jupyterbook, in action here: https://pages.gitlab.io/jupyterbook/intro.html.

What is an end-user supposed to do to get the configurator running under Lab?

What is the status regarding Denite?

Thank you both for responding.

> Feel free to open a pull request... To start with... https://github.com/OSGeo/grass-addons/pull/573