peaceiris 9439d8c836 add: filter to prevent CI when branch are deleted		2019-08-15 20:40:18 +09:00
..
push.yml	add: filter to prevent CI when branch are deleted	2019-08-15 20:40:18 +09:00