Unfortunately, our PR [1] was merged about an hour ago, after a lead (Bernd) approved it. Please still have a look and let me know if there's anything you do not agree with - we can discuss and I can do a follow up if necessary.
I'm keen to check any changes made in this area, but agree some housekeeping could be useful.
I assume any changes will be via PRs we can review and gatekeep as necessary?
Cheers,
Rob
From: cdt-cloud-dev <cdt-cloud-dev-bounces@xxxxxxxxxxx> on behalf of Marc Dumais via cdt-cloud-dev <cdt-cloud-dev@xxxxxxxxxxx>
Sent: 11 April 2024 17:17
To: cdt-cloud-dev@xxxxxxxxxxx <cdt-cloud-dev@xxxxxxxxxxx>
Cc: Marc Dumais <marc.dumais@xxxxxxxxxxxx>
Subject: [cdt-cloud-dev] [GitHub org] Tracing-related repositories settings
Hi CDT Cloud devs,
In internal discussions among our small group of contributors, we have concluded that we dislike so-called
GitHub "merge commits". We plan to submit a PR towards the organization's ".eclipsefdn" repo
[1], to disable such commits for tracing-related repositories, where we are the main maintainers.
We instead favor merging PRs using "rebase" generally, or "squash" when it's not desired to keep the individual commits that comprise a PR.
While we're there, we will also do a bit of cleanup,
for the configs of the same tracing-related repos. e.g. harmonize settings, remove unused webhooks, and potentially other small improvements.
Any objections?
Thanks,
Marc
IMPORTANT NOTICE: The contents of this email and any attachments are confidential and may also be privileged. If you are not the intended recipient, please notify the sender immediately and do not disclose the contents to any other person, use it for any purpose,
or store or copy the information in any medium. Thank you.