Skip to content

Instructions on how to merge a change would be valuable #347

New issue
New issue
Open
Open
Instructions on how to merge a change would be valuable#347
Labels
enhancementguide-new contentAdditions; New content or section neededhelp wanted
@pfmoore

Description

@pfmoore
pfmoore
opened on Mar 21, 2018

The workflow for merging PRs in the Github interface and triggering backports, is very straightforward, but it would be useful to document it for core developers unfamiliar with it (as otherwise it's easy to think "have I missed something?")

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementguide-new contentAdditions; New content or section neededhelp wanted

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions