Re: Please clean up unneeded files from fedorapeople.org groups and repos

2016-09-10 Thread Igor Gnatenko
On Fri, Sep 9, 2016 at 9:40 PM, Kevin Fenzi wrote: > On Fri, 9 Sep 2016 08:37:19 +0200 > Igor Gnatenko wrote: > >> Kevin, help me please with cleanup: >> >> [ignatenkobrain@people02 ~][PROD]$ rm -rf >> /home/fedora/ignatenkobrain/public_git/* >> rm: cannot

Re: Please clean up unneeded files from fedorapeople.org groups and repos

2016-09-09 Thread Kevin Fenzi
On Fri, 9 Sep 2016 08:37:19 +0200 Igor Gnatenko wrote: > Kevin, help me please with cleanup: > > [ignatenkobrain@people02 ~][PROD]$ rm -rf > /home/fedora/ignatenkobrain/public_git/* > rm: cannot remove >

Re: Please clean up unneeded files from fedorapeople.org groups and repos

2016-09-09 Thread Igor Gnatenko
Kevin, help me please with cleanup: [ignatenkobrain@people02 ~][PROD]$ rm -rf /home/fedora/ignatenkobrain/public_git/* rm: cannot remove ‘/home/fedora/ignatenkobrain/public_git/shiny.git/objects/20/3a73563e678017862cc45354588d40a967a57d’: Permission denied rm: cannot remove

Please clean up unneeded files from fedorapeople.org groups and repos

2016-09-08 Thread Kevin Fenzi
Greetings. There's a large amount of space used on fedorapeople.org for group projects: Filesystem Size Used Avail Use% Mounted on /dev/mapper/GuestVolGroup00-project 342G 328G 15G 96% /project This includes /project/repos/ (which is