You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Oct 7, 2020. It is now read-only.
Could we have people make a comment when they're taking a shot at a ticket and let others know when they're setting it aside if they didn't reach a PR-able state?
@alanz perhaps make it known that a comment is an acceptable fallback if somebody that isn't on the project yet wants to claim a ticket and doesn't want to wait to get added? Then someone that is on the project can assign them.
We are hand coding the JSON instances.
Provide quickcheck tests that confirm that we can successfully roundtrip all JSON instances.
i.e. decode . encode == id
The text was updated successfully, but these errors were encountered: