Skip to content

[Tooling] Add a GitHub bot to validate PR meta #864

@adshmh

Description

@adshmh

Objective

Streamline contributions by automating (or at-least pointing out the need for) the setting of PR meta, e.g. reviewers, project, labels, etc.

image

Origin Document

https://github.com/pokt-network/pocket/pull/773/files#r1203112450

Goals

  • Make it easier to open issues/PRs for both new and existing contributors
  • Open up the possibility of referring the issue/PR author to docs that may have been overlooked.

Deliverable

  • A GitHub bot that looks for any missing PR/issue meta and adds a comment addressed to the author.
  • Updated docs, based on https://github.com/pokt-network/pocket/pull/773/files#r1207219131, to which the bot points in its comments
  • (Optional) Some automation of setting PR/issue meta: Assignee and Reviewers would be good starting points.

Non-goals / Non-deliverables

General issue deliverables

  • Update any relevant local/global README(s)
  • Update relevant source code tree explanations
  • Add or update any relevant or supporting mermaid diagrams

Testing Methodology

  • Task specific tests or benchmarks: make ...
  • New tests or benchmarks: make ...
  • All tests: make test_all

Creator: [@adshmh ]
Co-Owners: [@dylanlott @Olshansk @bryanchriswhite]

Metadata

Metadata

Assignees

Labels

core starter taskGood for newcomers, but aimed at core team members though still open for everyonetoolingtooling to support development, testing et al

Type

No type
No fields configured for issues without a type.

Projects

Status
Backlog

Relationships

None yet

Development

No branches or pull requests

Issue actions