Attention is currently required from: osmith.

pespin has posted comments on this change. ( https://gerrit.osmocom.org/c/osmo-gsm-manuals/+/31726 )

Change subject: publish: make sure OSMO_REPOSITORY isn't default ......................................................................

Patch Set 1:

(1 comment)

Commit Message:

https://gerrit.osmocom.org/c/osmo-gsm-manuals/+/31726/comment/1bc30b5f_4e8df... PS1, Line 9: Instead of checking whether OSMO_REPOSITORY is empty, check if it has I'm not sure I'm following the logic here. If the default is not empty and contains some directory name, but we don't want to use that default value by all means, then why (the hell) do we set the default value to something not empty?