Re: [sage-devel] reviewer role on github

2023-02-10 Thread 'Martin R' via sage-devel
On Friday, 10 February 2023 at 11:44:53 UTC+1 David Roe wrote: I think the interface only allows reviewers for PRs, and not for issues (though you could always make a comment on an issue declaring your intention to review any resulting PR). For PRs, you have a couple options: 1. At the top rig

Re: [sage-devel] reviewer role on github

2023-02-10 Thread David Roe
I think the interface only allows reviewers for PRs, and not for issues (though you could always make a comment on an issue declaring your intention to review any resulting PR). For PRs, you have a couple options: 1. At the top right of the PR, there's a "Reviewers" box, with a gear icon next to i

[sage-devel] reviewer role on github

2023-02-10 Thread 'Martin R' via sage-devel
I was unable to find out how I declare myself as reviewer in the new workflow. This question applies to * pull requests without issue (I'm not sure yet how they work: given a number like #35053, how can I see issue and pull request associated to it? * issues without pull requests. Martin --