Ce post fait un résumé du déroulement du sprint BifurcationKit réalisé du 15 au 19 décembre 2025, dans le cadre de l’ADT déposée par Romain Veltz de l’équipe Cronos.
This post explains how to set up a mechanism to automatically renew SSL certificates (offering the same functionality as Let’s Encrypt). The tool was developed by Inria’s IT department (DSI), which is also responsible for the initialization of the first certificate.
The post explain how to simply use plakar to securely backup your files on a remote server: remotes files are encrypted: you can backup on your cloud server (OVH, etc..) remote files are snapshoted: backups are quick and files are dedupplicated
The post explains how to fix a potential network problem when using a CI template. It is based on a true story after creating an Ubuntu 24.04 template and using it.
WSL2 stands for Windows Subsytem for Linux, version It lets one use a Linux environment on a Windows machine without the burden of using double boot or explicit virtual machine setup.
This document explains how to migrate from GitLab to Github including git history, issues, milestones, labels and merge requests as well as github pages and using GitHub workflow actions to be used instead of Jenkins or GitLab runners. Here are the steps that need to be followed respectively.
Preliminary note: this note applies to a simple git repository. For a gitlab repository, please refer to https://docs.gitlab.com/ee/user/project/repository/reducing_the_repo_size_using_git.html. gitlab (and possibly other forges based on git) tends to be protective, in order to keep track of the events in the repository and to prevent discrepancy on its data. By example, a merge request will create references pointing to the branches used when the MR was initiated; these references are not updated by the process described below, since they are internal to gitlab, meaning the git gc will not try to reclaim the git objects used by these branches.
