disable edit on git pull
Merge branch 'hotfix/0.13.4'
Merge tag '0.13.4' into develop

tagging 0.13.4