Files
openide/plugins/github
Chris Lemaire 21bc524838 [github] Add some interpretation for unknown host exception
Should probably do the same for GitLab, but consider this a quick
fix as I'm doing other things.
A more proper/unified approach to interpreting and displaying the right
text for an error message is still work for the future I suppose.

GitOrigin-RevId: 72a7313f33b986220dd32e074e0c749195919657
2024-06-03 16:54:44 +00:00
..