@letmaik this is really a non-issue but to make it consistent with other (current and future) repositories we have in the org, I think we should make the name for WRF and WPS repository lowercase. Note this this change will not impact the make version / CI as GitHub will keep the link to the uppercase repositories.
@letmaik this is really a non-issue but to make it consistent with other (current and future) repositories we have in the org, I think we should make the name for WRF and WPS repository lowercase. Note this this change will not impact the make version / CI as GitHub will keep the link to the uppercase repositories.