@k-okada ,
In jsk-ros-pkg/jsk_common, we can set label for PR even though we cannot merge PR (f.g. jsk-ros-pkg/jsk_recognition#1904 ).
Is it possible to give us such authority for this repository too?
I'd like to set label to the following PRs: #976, #974, #973 .