ignore deleted branch in repository
Merge pull request #4578 from bclermont/gitfs-deleted-branch

Don't refer to deleted branch in environments list