Re: Pushing a lot of commits to an old branch

2025-07-12 Thread Jonathan Wakely via Gcc
On Sat, 12 Jul 2025 at 12:07, Mikael Morin via Gcc wrote: > > Le 12/07/2025 à 11:46, Thomas Koenig via Gcc a écrit : > > > > After doing that, can I just do a "git push", or will this cause any bad > > effects like hanging servers etc? I seem to remember there were some > > issues a while back. >

Re: Pushing a lot of commits to an old branch

2025-07-12 Thread Toon Moene
On 7/12/25 13:31, Thomas Koenig via Gcc wrote: Am 12.07.25 um 13:11 schrieb Jonathan Wakely via Gcc: Yes, it will probably make git unusable for a few hours, please don't push all at once! OK, I won't :-) There might be two other possibilities that I can think of: One would be to squash al

Re: Pushing a lot of commits to an old branch

2025-07-12 Thread Jonathan Wakely via Gcc
On Sat, 12 Jul 2025 at 12:31, Thomas Koenig wrote: > > Am 12.07.25 um 13:11 schrieb Jonathan Wakely via Gcc: > > Yes, it will probably make git unusable for a few hours, please don't > > push all at once! > > OK, I won't :-) > > There might be two other possibilities that I can think of: > One wou

Open Source Tool Qualification Webinar on 16th July

2025-07-12 Thread Oscar Slotosch via Gcc
Hi, On July 16th at 10 AM CEST we have a live webinar about Open Source Tool Qualification. Learn how gcc based C/C++ compilers and gcov can be qualified for safety critical applications. In this webinar on Wednesday 10 AM CEST, we show how we can qualify open source tools for safety relevant a

Re: Pushing a lot of commits to an old branch

2025-07-12 Thread Thomas Koenig via Gcc
Am 12.07.25 um 13:11 schrieb Jonathan Wakely via Gcc: Yes, it will probably make git unusable for a few hours, please don't push all at once! OK, I won't :-) There might be two other possibilities that I can think of: One would be to squash all the commits (most of which came from mainline gcc

Re: Pushing a lot of commits to an old branch

2025-07-12 Thread Mikael Morin via Gcc
Le 12/07/2025 à 11:46, Thomas Koenig via Gcc a écrit : After doing that, can I just do a "git push", or will this cause any bad effects like hanging servers etc?  I seem to remember there were some issues a while back. The hooks don't scale very well as far as I know, and I expect a number of

gcc-15-20250712 is now available

2025-07-12 Thread GCC Administrator via Gcc
Snapshot gcc-15-20250712 is now available on https://gcc.gnu.org/pub/gcc/snapshots/15-20250712/ and on various mirrors, see https://gcc.gnu.org/mirrors.html for details. This snapshot has been generated from the GCC 15 git branch with the following options: git://gcc.gnu.org/git/gcc.git branch

Pushing a lot of commits to an old branch

2025-07-12 Thread Thomas Koenig via Gcc
Hi, there is a branch I want to update. Git currently tells me Your branch is ahead of 'origin/devel/coarray_native' by 28906 commits. There are still a few ChangeLog entries to clean up, I'll make sure that contrib/gcc-changelog/git_check_commit.py passes before committing. After doing that, c