This is just a temporary fix but it should help a little bit since the proxy seems to be down. @6543 Enter key won’t work on pull request descriptions btw.
@6543 It would be great though if you could take a look at a customizable delay between requests.
No due date set.
This pull request currently doesn't have any dependencies.
Deleting a branch is permanent. It CANNOT be undone. Continue?