[GitHub] [orc] williamhyun opened a new pull request #723: MINOR: Add GitHub repo labels

[GitBox <gi...@apache.org>]

williamhyun opened a new pull request #723:
URL: https://github.com/apache/orc/pull/723


   ### What changes were proposed in this pull request?
   This PR aims to add GitHub repo labels. 
   
   ### Why are the changes needed?
   
   
   ### How was this patch tested?
   <!--
   If tests were added, say they were added here. Please make sure to add some test cases that check the changes thoroughly including negative and positive cases if possible.
   If it was tested in a way different from regular unit tests, please clarify how you tested step by step, ideally copy and paste-able, so that other reviewers can test and check, and descendants can verify in the future.
   If tests were not added, please describe why they were not added and/or why it was difficult to add.
   -->
   


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: dev-unsubscribe@orc.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org

[GitHub] [orc] dongjoon-hyun merged pull request #723: MINOR: Add GitHub repo labels

[GitBox <gi...@apache.org>]

dongjoon-hyun merged pull request #723:
URL: https://github.com/apache/orc/pull/723


   


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: dev-unsubscribe@orc.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org