Auto merge of #3036 - RalfJung:josh-autostart, r=RalfJung
automatically start and stop josh in rustc-pull/push Let's make use of the fact that this is not a shell script any more. :)
Showing
想要评论请 注册 或 登录
automatically start and stop josh in rustc-pull/push Let's make use of the fact that this is not a shell script any more. :)