Project

General

Profile

Bug #5142

bot not able to close github pull request for rtl-sdr and gr-osmosdr

Added by tsaitgaist 15 days ago. Updated 14 days ago.

Status:
Resolved
Priority:
Normal
Assignee:
Category:
-
Target version:
-
Start date:
05/01/2021
Due date:
% Done:

100%

Spec Reference:

Description

I am running a cronjob closing pull requests for the osmocom mirrors on github, and suggesting submitting patches as documented in the wiki.
it is not able to close pull requests for the osmocom/gr-osmosdr and osmocom/rtl-sdr repositories.
could one of the osmocom repository owners (tnt , zecke , laforge ) grant the permission (public_repo and write) to "tsaitgaist-bot" member for closing pull requests on these repositories (or all at once, if possible)?

History

#1 Updated by laforge 14 days ago

  • Status changed from New to In Progress
  • Assignee set to laforge

#2 Updated by laforge 14 days ago

  • Status changed from In Progress to Resolved
  • % Done changed from 0 to 100

thanks for maintaining this and reporting the issue, the permission has now been granted

In general, the osmocom/bots group should always have write access, not sure if we can somehow enforce that on a 'project' level.

Also available in: Atom PDF

Add picture from clipboard (Maximum size: 48.8 MB)