Skip to content

Revert ".github: Mirror to GitHub when something is pushed to GitLab"

Douglas Raillard requested to merge douglas-raillard-arm/lisa:_home_pr90450 into main

This reverts commit 2411e72a.

Merge request reports