The changes were merged into master. The source branch has been removed.
changed title from Ci stabilisation to Ci stabilization
merged
mentioned in commit 436f66a1