How to paste github-copied links into terminal with shift+insert

Take the good habit of pasting into the terminal with Ctrl+shift+v. That always works.

You can also use the shortcut Ctrl+shift+c to copy from the terminal.