[GitHub] [incubator-celeborn] pan3793 opened a new pull request, #1080: [CELEBORN-135][INFRA] Remove unused GitHub slash workflow

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

pan3793 opened a new pull request, #1080:
URL: https://github.com/apache/incubator-celeborn/pull/1080

   <!--
   Thanks for sending a pull request!  Here are some tips for you:
     - Make sure the PR title start w/ a JIRA ticket, e.g. '[CELEBORN-XXXX] Your PR title ...'.
     - Be sure to keep the PR description updated to reflect all changes.
     - Please write your PR title to summarize what this PR proposes.
     - If possible, provide a concise example to reproduce the issue for a faster review.
   -->
   
   ### What changes were proposed in this pull request?
   
   This PR proposes to remove unused GitHub slash workflow.
   
   ### Why are the changes needed?
   
   It was broken since we migrated the git repo to apache organization because `peter-evans/slash-command-dispatch@v3` is not allowed by apache.
   
   ### Does this PR introduce _any_ user-facing change?
   
   No, it's developer only.
   
   ### How was this patch tested?
   
   Manually review.


-- 
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: issues-unsubscribe@celeborn.apache.org

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

[GitHub] [incubator-celeborn] waitinfuture merged pull request #1080: [CELEBORN-135][INFRA] Remove unused GitHub slash workflow

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

waitinfuture merged PR #1080:
URL: https://github.com/apache/incubator-celeborn/pull/1080


-- 
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: issues-unsubscribe@celeborn.apache.org

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