Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Any way to trigger mergebot for non-github repos? #66483

Closed
cgeoga opened this issue Aug 18, 2022 · 5 comments
Closed

Any way to trigger mergebot for non-github repos? #66483

cgeoga opened this issue Aug 18, 2022 · 5 comments

Comments

@cgeoga
Copy link
Contributor

cgeoga commented Aug 18, 2022

I use LocalRegistry.jl to generate PRs to merge packages that aren't hosted on github to the general registry (based on advice I got in #49803). It works like a charm, but every time I merge something I have to bug somebody to click merge. But that can be a bit slow---for example, I'm trying to register another package that has all tests passing but has been sitting as an open PR for half a month now.

I don't like hounding people and I'm sure the people I'm hounding don't like it either. Considering that these PRs are still auto-generated just like they would be from JuliaHub, is there any way to make it possible for people without merge rights in this repo to trigger merge bot if all the tests for it pass? Or, like, would it be possible to run the merge bot tests, and then if they all pass put a "just click merge" tag on it or something so that it is not so easy to miss in the sea of auto-generated PRs?

I recognize that the simplest way to avoid hounding people is just to host the code on github. That would be sort of disappointing, though, because it really seems like all the machinery for these PRs to get checked automatically is there. I also have tried using JuliaHub to create the PRs for packages, but for code that isn't on github I don't see how to escape the error that JuliaHub can't prove that I own the repo.

If triggering merge bot for auto-generated new package PRs is not appealing, which I would understand, would it at least be possible for things that are already registered? I already want to try and merge a new point release for the package I have that is already in the general registries, but I've been waiting to make that PR so that I'm not bugging individuals on too many PRs at once.

I recognize that you guys are juggling a lot of problems in maintaining this registry, and I am very appreciative of all the work that has gone into making it and Pkg such a pleasure to use. So if the answer here is that you really don't want to make any of this possible, that would be disappointing but very understandable. In that case, I suppose I'd just close my open PR and move it to a github mirror so I can use JuliaHub. But I would appreciate any input on how to handle point releases in the package that I already have registered here without having to bug the kind people who were helpful to me in the past, which is sort of what I have defaulted to doing. I suppose I could also move that to a github mirror and then open a manual PR that changes the URL, but that seems like a more manual surgery that maybe is not advisable.

@cgeoga cgeoga changed the title Any way to trigger merge-bot for non-github repos? Any way to trigger mergebot for non-github repos? Aug 18, 2022
@DilumAluthge
Copy link
Member

This is a great question. I'm swamped right now, but I'll write up my thoughts when I get a chance - ping me if I don't follow up within a few weeks?

@DilumAluthge
Copy link
Member

BTW, to get you unblocked in the short-term, you can ask for manual merges in the #pkg-registration channel on the Julia Slack. Sometimes you can get a faster response that way.

@cgeoga
Copy link
Contributor Author

cgeoga commented Aug 19, 2022

That sounds great, thanks! I'm curious to hear your thoughts and will circle back in a few weeks. Thanks also for the slack link---I'll give it a shot!

@DilumAluthge
Copy link
Member

I think this is a duplicate of #116716.

If it's not the same issue, let me know, and I'll reopen this one.

@DilumAluthge
Copy link
Member

Duplicate of #116716

@DilumAluthge DilumAluthge marked this as a duplicate of #116716 Oct 21, 2024
@DilumAluthge DilumAluthge closed this as not planned Won't fix, can't repro, duplicate, stale Oct 21, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants