Admin message
Since we changed our gitlab host, the ssh host key has changed. Remove the old one with 'ssh-keygen -R gitlab.denx.de'.
The new fingerprints are:
SHA256:XWYWXIZL+3Y85cqtHDlq99Bn0BvGgnVoljeZfTnBumQ (RSA)
SHA256:18rtjppxL7glkS0cG4Xn9MYBtx/ir7ybCU50/bVElig (ECDSA)
SHA256:r1eL/+ia+5qUTqAkgNVfezulBhPG/Nb6yZa3SGqc/o4 (ED25519)