Open jgvictores opened 9 months ago
Al alternative is to maintain this repo, remove roboticslab-uc3m/gymnasium-alma duplicates and rename roboticslab-uc3m/gymnasium-alma roboticslab-uc3m/gymnasium-teo or roboticslab-uc3m/gymnasium-textiles or similar
Can both be merged?
They are essentially already merged at https://github.com/roboticslab-uc3m/gymnasium-alma so what remains here should be essentially an outdated dupe. This issue is to remind myself to review a bit more thoroughly before doing anything drastic. ^^
Delete repo in favor of roboticslab-uc3m/gymnasium-alma