decrease usage of short git commit IDs

boyskarequested to merge
20165-short-id into testing

Closes #20165 (closed)

  • filename are now the only thing where short ids are used. and here, the minimum length is increased to 10 characters.
  • /etc/os-release only includes full ids
    • tails-about is updated accordingly
Edited by boyska

Merge request reports