Add a new syntax for add_edge command
Add the possibility to "copy" a edge label.
The command add_edge e: X -> Y
means "add an edge from node X
to node Y
with the same label than the edge matched with name e
in the pattern".
GitLab upgrade completed. Current version is 17.8.1: https://about.gitlab.com/releases/2025/01/16/gitlab-17-8-released/
Git-LFS will be deployed on Monday February 10. Our GitLab instance will be interrupted for a few minutes between 1pm and 2pm.
From this date, the quota check will switch to blocking mode. More informations about quotas: https://gitlab.inria.fr/siteadmin/doc/-/wikis/faq#quota-management-policy-to-monitor-disk-space-by-project-on-gitlab
Add the possibility to "copy" a edge label.
The command add_edge e: X -> Y
means "add an edge from node X
to node Y
with the same label than the edge matched with name e
in the pattern".