Skip to content
This repository has been archived by the owner on Feb 14, 2023. It is now read-only.

Add merge bot #5

Open
tetsuharuohzeki opened this issue Jan 10, 2019 · 0 comments
Open

Add merge bot #5

tetsuharuohzeki opened this issue Jan 10, 2019 · 0 comments
Labels
A-repository/CI I-enhancement New feature or request

Comments

@tetsuharuohzeki
Copy link
Collaborator

No description provided.

@tetsuharuohzeki tetsuharuohzeki added the I-enhancement New feature or request label Jan 10, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
A-repository/CI I-enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@tetsuharuohzeki