Skip to content

Enable Mergify (or similar) PR merging automation #453

New issue
New issue
Open
Open
Enable Mergify (or similar) PR merging automation#453
Labels
enhancement
@tovbinm

Description

@tovbinm
tovbinm
opened on Jan 8, 2020

Problem
Too lazy to merge approved PRs?

Solution
Look no further. Enable Mergify - https://github.com/marketplace/mergify

Alternatives
N/A

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancement

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions