diff options
| author | Martin Liska <mliska@suse.cz> | 2022-10-05 20:39:19 +0200 |
|---|---|---|
| committer | Martin Liska <mliska@suse.cz> | 2022-10-05 20:42:43 +0200 |
| commit | 59110467908baf11d3c2100e29bdbf7090e11940 (patch) | |
| tree | 9997cb020857d2c0ec5021d6b33fc8fbe680f7e0 /gcc/fixed-value.h | |
| parent | ef878564140cbcf23f479da88e07e5a996cec6bb (diff) | |
| download | gcc-59110467908baf11d3c2100e29bdbf7090e11940.zip gcc-59110467908baf11d3c2100e29bdbf7090e11940.tar.gz gcc-59110467908baf11d3c2100e29bdbf7090e11940.tar.bz2 | |
contrib: run fetch before pushing Daily bump
As seen from recent days, the script fails when it pushes
a branch while another revision was pushed by a user.
Prevent that by doing fetch right before the pull.
The error message example:
cmdline: git push origin releases/gcc-11
stderr: 'fatal: unable to parse object: 4249a65c814287af667aa78789436d3fc618e80a
error: remote unpack failed: eof before pack header was fully read
contrib/ChangeLog:
* gcc-changelog/git_update_version.py: Do fetch before a push.
Diffstat (limited to 'gcc/fixed-value.h')
0 files changed, 0 insertions, 0 deletions