| 13:32 | <nicolo-ribaudo> | Could we give back to delegates permission to merge in the agenda repo, at least when CI on a PR is green? |
| 13:34 | <nicolo-ribaudo> | I understand that ljharb would like to merge the PRs to make sure they conform to the nice commit format (i.e.
|
| 13:50 | <nicolo-ribaudo> | (sorry Jordan for putting you on the spot if the reason I lost merge access is not this one 😅) |
| 14:01 | <Chris de Almeida> | nicolo-ribaudo: delegates have write access |
| 14:02 | <Chris de Almeida> | this hasn't changed.. not sure what issue you are running into |
| 14:02 | <littledan> | I do not have write access |
| 14:02 | <Chris de Almeida> | do you have a couple minutes to hop on a call to investigate? |
| 14:03 | <littledan> | sure |
| 14:14 | <ljharb> | ? you should have that permission already on the agenda repo, yes |
| 14:14 | <ljharb> | PRs aren’t even a requirement |
| 14:14 | <Chris de Almeida> | I fixed it |
| 14:18 | <Chris de Almeida> | nicolo-ribaudo: fixed |
| 14:20 | <nicolo-ribaudo> | Ok thank you :) |
| 14:21 | <ljharb> | (also merely having an open PR means you hit the deadline, so this sort of thing wouldn't impact that, at least) |
| 14:23 | <Chris de Almeida> | gentle reminder that even though PRs are not required, they are greatly appreciated because people who have notifications on will know there is something new on the agenda |