July 28, 2024
-
Create the configuration directory upon saving, if needed
Marco Ricci authored on 2024-07-28 15:02:34
July 22, 2024
July 21, 2024
July 20, 2024
-
Fix style issues with ruff (hatch default configuration)
Marco Ricci authored on 2024-07-20 23:46:05
July 19, 2024
-
Fix style issues with ruff (in its default configuration)
Marco Ricci authored on 2024-07-19 18:58:12
July 14, 2024
June 30, 2024
-
Add minor documentation rewordings and clarifications
Marco Ricci authored on 2024-06-30 16:37:52
-
Distinguish between a key lookup error in the SSH agent and other communication/runtime errors
Marco Ricci authored on 2024-06-30 16:37:52
June 22, 2024