Build binder compatible docker images from Trac

[saraedum]

By tagging all our images with the commit SHA in GitLab registry.

You cannot sanely create a binder that points to a moving target such as a branch. Therefore, all images need to have unique tags.

With the changes merged, links like this should work for all branches on trac:

https://gitlab-hooks-flau3jeaza-ew.a.run.app/status/trac/branch/u%2Fsaraedum%2F28457

Depends on #28041

CC: @slel @nthiery @embray @roed314 @videlec

Component: docker

Keywords: sd109

Author: Julian Rüth

Branch/Commit: e353fd5

Reviewer: David Roe

Issue created by migration from https://trac.sagemath.org/ticket/28457

[saraedum]

Branch: u/saraedum/28457

[sagetrac-git]

Commit: 3de1e64

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

3de1e64

Merge remote-tracking branch 'trac/develop' into 28457

[sagetrac-git]

Changed commit from 3de1e64 to e353fd5

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

e353fd5

fix typo

[saraedum]

comment:4

This can be reviewed once #28041 has been merged.

[saraedum]

Description changed:

--- 
+++ 
@@ -1,3 +1,7 @@
 By tagging all our images with the commit SHA in [GitLab](../wiki/GitLab) registry.
 
 You cannot sanely create a binder that points to a moving target such as a branch. Therefore, all images need to have unique tags.
+
+With the changes merged, links like this should work for all branches on trac:
+
+https://gitlab-hooks-flau3jeaza-ew.a.run.app/status/trac/branch/u%2Fsaraedum%2F28457

[slel]

comment:6

Note #28041 was merged in 9.0.beta0, so this can now be reviewed.

[embray]

comment:7

Ticket retargeted after milestone closed