Channels
#openlane
Title
m
Matt Venn
09/29/2021, 2:46 PMthen maybe your suggestion of setting it OPENLANE_IMAGE_LANE if not set is a good intermediate
d
donn
09/29/2021, 2:55 PMYeah that ceased to be a good idea the moment I thought "what if someone set both of them, which should it default to." I think just biting the bullet on OPENLANE_IMAGE_NAME is for the best
m
Matt Venn
09/29/2021, 2:56 PMand do the same for CURRENT_TAG ?
d
donn
09/29/2021, 2:58 PMFine by me
I should mention CURRENT_TAG has no purpose if you override OPENLANE_IMAGE_NAME but consistency is nice
Merged
🙌 1