Skip to content

Set up GitHub PR publishing integration #6

Description

@RazvanDire

Make it so we can create a pull request (or a pull request for every commit in the stack) directly in the command line.

In the future, we should implement this feature for most popular git online providers (e.g. GitHub, GitLab, Bitbucket).

About creating a pull request using GitHub's REST API: https://docs.github.com/en/rest/pulls?apiVersion=2022-11-28#create-a-pull-request

Metadata

Metadata

Assignees

Labels

No labels
No labels

Projects

Status
In Progress

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions