~jacereda


#39 Can't select GitHub repositories from an organization. 1 year, 6 months ago

Ticket created by ~jacereda on ~sircmpwn/dispatch.sr.ht

Maybe this is just a design decision... Is the GitHub repository owner the only one capable of configuring dispatch actions? Should an organization member with permission be allowed to configure them?

#38 Search box in GitHub repo selection doesn't filter results. 1 year, 6 months ago

Ticket created by ~jacereda on ~sircmpwn/dispatch.sr.ht

Going to https://dispatch.sr.ht/github_pr_to_build/configure and typing something in the Search box won't filter the displayed repositories.

#4 hg.sr.ht down 2 years ago

Comment by ~jacereda on ~sircmpwn/hg.sr.ht

References to that message point to full disk or bad permissions.

#4 hg.sr.ht down 2 years ago

Ticket created by ~jacereda on ~sircmpwn/hg.sr.ht

I get a 502 Bad Gateway message when connecting to the web page.

Before that, I noticed that trying to push a commit resulted in:

remote: abort: No usable temporary directory found in ['/tmp', '/var/tmp', '/usr/tmp', '/var/lib/mercurial']
abort: unexpected response: empty string