GumTreeDiff / gumtree

An awesome code differencing tool
https://github.com/GumTreeDiff/gumtree/wiki
GNU Lesser General Public License v3.0
933 stars 174 forks source link

Docker tag should always be present #333

Closed koppor closed 9 months ago

koppor commented 9 months ago

Follow-up to https://github.com/GumTreeDiff/gumtree/pull/324

Marking as draft and waiting if CI runs through.

koppor commented 9 months ago

This is green here, so it should also be green when merged to main @jrfaller :)

jrfaller commented 9 months ago

👍🏻