Mauro
Mauro
Ok, perfect. I'll be interested to hear if it worked.
I tried this but we have a complexity issue here. It's not that hard to add a query, but it's rather difficult to remove one without breaking the query itself...
Hi @Sagi313 I was just trying to recreate your bug, but I haven't been able to. Here's what I did: ``` aptly mirror create -architectures=amd64 -filter='Name (~ installer)' -with-installer -with-udebs...
I think this is now fixed with #587 . Feel free to reopen if it's still an issue.
This won't work with the current implementation, because the token and hash is generated on the server side: ```py # def claim(): token = secrets.token_hex(16) salt = os.urandom(32) token_hash =...
@randombenj Yes I did. I think this idea was dropped first of all because to serve the pre-built index it would need to be built in the backend which is...
I had the same problem just with creating a repo and deleting it again. Thankfully, @gdyrrahitis solution worked for me :rocket:
I had a look at it and you're right it seems like `Batch` is kind of a useless option, since it would need to be set to `true` anyway because...