change rumpkernel.org links to github.com/rumpkernel #11

lukem · 2023-07-14T21:34:29Z

Replace http://wiki.rumpkernel.org/
with https://github.com/rumpkernel/wiki/wiki/

Replace http://repo.rumpkernel.org/
with https://github.com/rumpkernel/

Replace http://wiki.rumpkernel.org/ with https://github.com/rumpkernel/wiki/wiki/ Replace http://repo.rumpkernel.org/ with https://github.com/rumpkernel/

lukem · 2023-07-14T21:35:08Z

There's two remaining references to "logo@rumpkernel.org" in files in logo/.
I didn't know the preferred replacement.

anttikantee · 2023-07-15T12:30:42Z

Thanks, I'll update the email addresses.

change rumpkernel.org links to github.com/rumpkernel

9ef8e85

Replace http://wiki.rumpkernel.org/ with https://github.com/rumpkernel/wiki/wiki/ Replace http://repo.rumpkernel.org/ with https://github.com/rumpkernel/

lukem mentioned this pull request Jul 14, 2023

Update dead links #10

Closed

anttikantee merged commit 6cc9bec into rumpkernel:master Jul 15, 2023

lukem deleted the lukem/rewrite-domain branch July 15, 2023 19:45

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

change rumpkernel.org links to github.com/rumpkernel #11

change rumpkernel.org links to github.com/rumpkernel #11

change rumpkernel.org links to github.com/rumpkernel #11

change rumpkernel.org links to github.com/rumpkernel #11

Conversation