[install] replace some git porcelain by git plumbing.
Related issue
Relates to #16 (closed).
Test that shows what the merge request does
/etc/puppet/environments/production# git reset --hard origin/master^^
HEAD is now at b3f7d66 Add note about PTR DNS records
# bash /root/install.sh
[...]
update Puppet's production environment? (y/n) y
Updating Puppet's production environment...
Updating b3f7d66..c3f7ce2
Fast-forward
modules/letsencrypt/manifests/init.pp | 12 ++++++++----
modules/web/files/document-root/uflex/User.php | 2 +-
modules/web/files/document-root/uflex/UserBase.php | 2 +-
modules/web/manifests/init.pp | 4 ++++
4 files changed, 14 insertions(+), 6 deletions(-)
- Puppet's production environment update: OK
Setting Puppet configuration...
- Puppet configuration: OK
[...]