Update external

pipeline now keeps (again) external repo up to date.
Do Not Remove It Again!