axodotdev / axodotdev/harbor

Explore Alternative Submit Methods

Open
#4 0 comments 0 reactions 0 assignees View on GitHub
enhancement webapp-ui
Dominant language
JavaScript
Stars
3
Forks
1
PR merge metrics
No merged PRs in 30d

Description

**OUT OF SCOPE FOR THE MVP**

I expect in the future we'll want this button (final submit button for the GUI):

Screen Shot 2022-10-27 at 9 01 21 PM

To be a lot more like this button (github "merge PR" button):

Screen Shot 2022-10-27 at 9 02 21 PM

in that it could support a few different options:

* create a commit and push it (current design)
* post a suggested edit comment on the PR
* submit a PR against the PR (META PR)
* submit a PR against the main repo (audits are ostensibly good/useful work to be saved regardless of the PR getting accepted!)

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.