Re: [PR] Update mailing-lists.md (comdev-site)

2023-07-29 Thread via GitHub
chrisdutz commented on code in PR #126: URL: https://github.com/apache/comdev-site/pull/126#discussion_r1278281125 ## source/contributors/mailing-lists.md: ## @@ -150,8 +150,8 @@ github: edit_comment_discussion: "Re: [D] {title} ({repository})" delete_comment_discussio

Re: [PR] Update mailing-lists.md (comdev-site)

2023-07-29 Thread via GitHub
bdelacretaz commented on code in PR #126: URL: https://github.com/apache/comdev-site/pull/126#discussion_r1278280512 ## source/contributors/mailing-lists.md: ## @@ -150,8 +150,8 @@ github: edit_comment_discussion: "Re: [D] {title} ({repository})" delete_comment_discuss

[PR] Update mailing-lists.md (comdev-site)

2023-07-29 Thread via GitHub
chrisdutz opened a new pull request, #126: URL: https://github.com/apache/comdev-site/pull/126 Updated the documentation to the latest changes of the infra rules (making the "repository" variable no longer mandatory) -- This is an automated message from the Apache Git Service. To respond

Re: AW: AW: Changing the defaults for GitHub generated email titles?

2023-07-29 Thread Bertrand Delacretaz
Christofer Dutz wrote : > > ... Infra has been giving me quite some pushback on these changes... I think backing your request by a comdev pmc vote can help, as it's then a group representing multiple projects that makes the request, instead of just you. Bertrand