Le mirroring des dépôts vers Github est maintenant natif dans Gitlab (et donc Framagit). Merci de passer à la fonction native pour que nous puissions couper notre solution maison. Détails sur https://docs.gitlab.com/ee/workflow/repository_mirroring.html#pushing-to-a-remote-repository (pensez à supprimer le webhook de notre solution maison).

H

Hack-your-DSL

Running​ ​ project​ ​ for​ ​ the​ ​ course​ ​ at​ ​ University​ ​ of​ ​ Rennes​ ​1 http://master.irisa.fr/courses/DSL.html

Name Last update
reports/benchmarking Loading commit data...
runtime-EclipseXtext/examples Loading commit data...
workspace Loading commit data...
.gitignore Loading commit data...
README.md Loading commit data...
bench_report.pdf Loading commit data...