JsonKey

[dsilvasc]

Circe includes an annotation @JsonKey to rename fields:
https://circe.github.io/circe/codec.html#custom-key-mappings-via-annotations

It would be nice to have that annotation supported in circe-derivation as well.

[travisbrown]

This should be a pretty straightforward copy-paste job. I'm not opposed to it, but it's also not a priority for me.

[aparo]

In the weekend, I'll port them to circe-derivation.

[aparo]

This issue can be closed.