This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "MIG".
The branch, master has been updated via 792b87f8d8a9c0b925e8cab825928251fb155fb3 (commit) from 116b6096608d3c59f6f4e597ee5c2645a1b8fc4c (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit 792b87f8d8a9c0b925e8cab825928251fb155fb3 Author: Samuel Thibault <samuel.thiba...@ens-lyon.org> Date: Mon May 5 09:56:52 2025 +0200 Fix IRC network name ----------------------------------------------------------------------- Summary of changes: README | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) hooks/post-receive -- MIG