Skip to content

Annotate Ledger in Github #49

Open
@blueridger

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