infra github: changed the file name for clarity.

This commit is contained in:
Hermet Park 2023-04-20 11:20:36 +09:00
parent aa915ee1c4
commit 91781abf0d