Re: [PATCH][pushed] contrib: run fetch before pushing Daily bump

2022-10-06 Thread Martin Liška
On 10/5/22 22:09, Tobias Burnus wrote: > On 05.10.22 20:41, Martin Liška wrote: >> +++ b/contrib/gcc-changelog/git_update_version.py >> @@ -127,6 +127,7 @@ def update_current_branch(ref_name): >>   repo.git.add(datestamp_path) >>   if not args.current: >>   r

Re: [PATCH][pushed] contrib: run fetch before pushing Daily bump

2022-10-05 Thread Tobias Burnus
On 05.10.22 20:41, Martin Liška wrote: +++ b/contrib/gcc-changelog/git_update_version.py @@ -127,6 +127,7 @@ def update_current_branch(ref_name): repo.git.add(datestamp_path) if not args.current: repo.index.commit('Daily bump.') +origi