Ce serveur Gitlab sera éteint le 30 juin 2020, pensez à migrer vos projets vers les serveurs gitlab-research.centralesupelec.fr et gitlab-student.centralesupelec.fr !

Commit 7d8a62c0 authored by Liu Bin's avatar Liu Bin

Fix installing the master branch.

parent c0c09b55
......@@ -64,7 +64,9 @@
(remote-branch (format "origin/%s" branch))
(default-directory pdir)
(call-process git nil (list buf t) t "checkout" "-t" remote-branch)))
(if (string-equal branch "master")
(call-process git nil (list buf t) t "checkout" "-t" remote-branch))))
(unless (zerop bstatus)
(error "Couldn't `git checkout -t %s`" branch)))
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment