Synchronize hdf5 local mirror to main github HDF5 repo

Synchronize our local gitlab hdf5 copy with main HDFGroup HDF5 repo on Github to date: Mar 25, 2024. I use name origin to refer to our remote mirror on gitlab, and hdf5-gh to refer to github develop main branch. Because I have hdf5 locally created by karabo develop hdf5, I change to $KARABO/devices/hdf5 and ...

• Check current github remote: git remote
  • The output is: origin
• Add github remote: git remote add hdf5-gh https://github.com/HDFGroup/hdf5.git
• Check available remote again: git remote
  • The output is: hdf5-gh and origin
• Pull from hdf5-gh (github): git pull hdf5-gh develop --allow-unrelated-histories
  • Locally you will have current hdf5 distribution
• Create branch on gitlab with the updated hdf5: git checkout -b update-hdf5-develop-mirror
• Push local updated branch into gitlab: git push origin update-hdf5-develop-mirror
• After approval MR I will merge hdf5 in our site (origin)