rgbds
                                
                                 rgbds copied to clipboard
                                
                                    rgbds copied to clipboard
                            
                            
                            
                        ci: clean old container images, document how to push images
Following up https://github.com/gbdev/rgbds/issues/1509 :
- [ ] document how to manually push an image (e.g. old tag, without having to repush it)
- [ ] find a way to clean up the old artifacts