@unfa now read the replies and see it is quite big hmmm...

The same server runs peertube, which will increase in size for sure in the coming years.
But still 1.2TiB free

```
$ df -h | grep /home
/dev/md3 1.7T 388G 1.2T 25% /home
```

that said, something is likely wrong if you think a repo will be 100Gb in size at some point.
there must be some better way to handle large binary files for version control...