Skip to content

[re #12203] Git pump quality of life

Štěpán Faragula requested to merge feature/12203 into dev

Git pump quality of life improvements

  • Delete local repository when closing pump
  • Updated .env path to relative

Merge request reports