Merging despite warnings because the errors are about the automated github releases integration. That does seem to be working, but a problem with eventual consistency of github apis seems to be biting us. Namely, this was returning an empty response for ~10 min after the release was created. This was likely due to all the rebasing, force pushing, tag creation, and tag deletion that was going on to test this.
Resolves #18.
Merging despite warnings because the errors are about the automated github releases integration. That does seem to be working, but a problem with eventual consistency of github apis seems to be biting us. Namely, this was returning an empty response for ~10 min after the release was created. This was likely due to all the rebasing, force pushing, tag creation, and tag deletion that was going on to test this.
If this automation happens not to work next time I create a tag I'll follow up with a new PR to fix things.