Skip to content

Annotate Ledger in Github #49

Description

@blueridger

The ledger is not particularly human readable, which makes it harder to audit PRs and commits for grain distributions, identity merges, etc. Github has Annotation functionality, though, and it would be nice if a CI or a Github Action automatically added human-readable annotations to PRs / branches.

Here is an Action that creates annotations from JSON: https://github.com/marketplace/actions/annotations-action
JSON could be generated pretty easily by a new CLI in sourcecred/sourcecred. Also, sourcecred/sourcecred#2719 would make this even easier.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Feature TeamTracked by the Feature Team

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions