Geert Stappers
Geert Stappers
Title of this _merge request_ inspired me to file [a wish](https://github.com/w4/rgit/issues/25) for another _gitweb server_.
I did forgot about this. It was working on https://git.inept.dev/~doyle/rgit.git/about that did bring be back here. To close this issue.
On Thu, Mar 23, 2023 at 02:54:25PM -0700, Jean-Christophe Amiel wrote: > Closed #409 as completed. Ah, nice. And thanks for the notification. (For the record: No testing yet done...
(This comment was written to `https://github.com/kadeessh/kadeessh/issues/12` (note the name) ) Did the rename happen? I think it did.  For which reason is this issue still open?
On Mon, May 15, 2023 at 02:56:39PM -0700, Mohammed Al Sahaf wrote: > Done! :ok_hand:
On Fri, Mar 15, 2024 at 08:35:40PM -0700, Colin Cai wrote: > All things considered, this seems like a fun feature to implement > and I'd like to work on...
```text git remote add vi https://github.com/vi/simple-http-server git fetch vi git cherry-pick ffbae85d8337997cc741 ``` I have now this merge request in my fork
Which _gcc version_ is known for succesfull build?
> I'll check it out and report back. _"Stop procrastinating"_ And for those that did not get the joke: 
> What is missing for this PR to be merged? Much better question: _What should be done to get this merged?_