[19:38] <arunpyasi1> Hello cristiangsp could you please have a look over #696574 , Thank you!
[20:03] <cjwatson> arunpyasi1: That's a big jump - can you explain your requirements a bit more please?
[20:09] <arunpyasi1> That repo is our main repository for UbuntuDDE Remix packages, and as time flies, the package sizes are in increment order and as we are maintaining more series with updates. So, if possible, we would like to get it raised to 15GB, if not possible, 10GB should work for few years :)
[20:11] <arunpyasi1> cjwatson: ^ :)
[20:11] <cjwatson> arunpyasi1: OK, just wanted to make sure I understood.  Done
[20:13] <arunpyasi1> cjwatson: Thank you very much! <3 :)