update git config
Merge branch 'master' of github.com:pangpengde/uppaal-front-end
Merge branch 'master' of github.com:pangpengde/uppaal-front-end
Merge branch 'master' of github.com:pangpengde/uppaal-front-end
update git config