Skip to content

feat: GitHub pull request integration#35

Closed
brosssh wants to merge 2 commits intoJman-Github:mainfrom
brosssh:feat/gh-pr-integration
Closed

feat: GitHub pull request integration#35
brosssh wants to merge 2 commits intoJman-Github:mainfrom
brosssh:feat/gh-pr-integration

Conversation

@brosssh
Copy link
Contributor

@brosssh brosssh commented Nov 26, 2025

Implements the ability to use a PR link as remote bundle provider. For example, try using brosssh/revanced-patches#57 as remote URL. It will fetch the artifact found in the latest commit. If a new commit is pushed, it will update as a normal remote bundle.

Note, a GitHub PAT is necessary to download artifacts. I also created a setting where you can set a GitHub PAT, under advanced settings.

The UI needs to be improved, but I'm bad at it and I don't have good UX taste. Feel free to add the UI you prefer, or let me know how you prefer it. For now, you can add the PR link as usual, maybe a separate menu is better. Also the changelog doesn't make much sense.

@Jman-Github Jman-Github self-assigned this Nov 27, 2025
@Jman-Github
Copy link
Owner

Thanks for the PR! This is an awesome feature, it will be implemented with the next release.

@Jman-Github Jman-Github added the Feature Something you wish to be added label Nov 27, 2025
@Jman-Github
Copy link
Owner

Closing this PR. It has been integrated and released with v1.5.1. Thanks again for your PR!

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

Labels

Feature Something you wish to be added Merged

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants