-
> Note that running software on Linux doesn't mean you are linking to Linux.
Technically, you do link to linux-vdso.so (or variants depending on architecture), which is part of the kernel image. There doesn't seem to be an explicit GPL exception for the sources of this library [0] but the general syscall exception [1] may or may not apply.
[0] e.g. https://github.com/torvalds/linux/blob/master/arch/x86/entry...
[1] https://github.com/torvalds/linux/blob/master/LICENSES/excep...
-
CodeRabbit
CodeRabbit: AI Code Reviews for Developers. Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
-
connectbot
ConnectBot is a powerful open-source Secure Shell (SSH) client. It can manage simultaneous SSH sessions, create secure tunnels, and copy/paste between other applications. (by nylen)
> offending commits will still also be available on GitHub (at least until the next garbage collection),
No. Forever. Literally forever. GitHub does not run garbage collection, like, ever.
https://stackoverflow.com/questions/4367977/how-to-remove-a-...
Dangling commit from 14 years ago :
https://github.com/nylen/connectbot/commit/1cd775d
There is only one way to delete data on github permanently and that's to request it from github support. Still, you would have better luck just deleting your repository and starting over from scratch, deleting your history locally and pushing from a pristine state.
-
Correct - the instructions in the Windows PE executable run natively. WINE provides a PE loader for exe and dll files (https://github.com/wine-mirror/wine/blob/master/dlls/ntdll/l...) and provides its own version of the API (user32.dll, kernel32.dll etc)
