microsoft / CodePlan

Data and evaluation scripts for "CodePlan: Repository-level Coding using LLMs and Planning", FSE 2024
MIT License
52 stars 8 forks source link

Action required: migrate or opt-out of migration to GitHub inside Microsoft #4

Open microsoft-github-policy-service[bot] opened 11 months ago

microsoft-github-policy-service[bot] commented 11 months ago

Migrate non-Open Source or non-External Collaboration repositories to GitHub inside Microsoft

In order to protect and secure Microsoft, private or internal repositories in GitHub for Open Source which are not related to open source projects or require collaboration with 3rd parties (customer, partners, etc.) must be migrated to GitHub inside Microsoft a.k.a GitHub Enterprise Cloud with Enterprise Managed User (GHEC EMU).

Action

✍️ Please RSVP to opt-in or opt-out of the migration to GitHub inside Microsoft.

❗Only users with admin permission in the repository are allowed to respond. Failure to provide a response will result to your repository getting automatically archived.🔒

Instructions

Reply with a comment on this issue containing one of the following optin or optout command options below.

✅ Opt-in to migrate

@gimsvc optin --date <target_migration_date in mm-dd-yyyy format>

Example: @gimsvc optin --date 03-15-2023

OR

❌ Opt-out of migration

@gimsvc optout --reason <staging|collaboration|delete|other>

Example: @gimsvc optout --reason staging

Options:

  • staging : This repository will ship as Open Source or go public
  • collaboration : Used for external or 3rd party collaboration with customers, partners, suppliers, etc.
  • delete : This repository will be deleted because it is no longer needed.
  • other : Other reasons not specified

Need more help? 🖐️

microsoft-github-policy-service[bot] commented 11 months ago

:warning: Please provide a response. Failure to provide a response after 4 more reminders will result in the repository getting archived.

microsoft-github-policy-service[bot] commented 11 months ago

:warning: Please provide a response. Failure to provide a response after 3 more reminders will result in the repository getting archived.

rkbairi commented 11 months ago

@gimsvc optin --date 12-03-2023

microsoft-github-policy-service[bot] commented 11 months ago

@rkbairi :no_entry_sign: you are not an administrator of this repository. Only repository administrators are allowed to provide official responses - optin, optout, snooze. If you are the owner of this repository, please make sure you have the admin role assigned to you or ask one of the existing repository administrators to provide a response.

Total execution time: 0.50 seconds

microsoft-github-policy-service[bot] commented 10 months ago

:warning: Please provide a response. Failure to provide a response after 2 more reminders will result in the repository getting archived.

microsoft-github-policy-service[bot] commented 10 months ago

:warning: Please provide a response. Failure to provide a response after 1 more reminders will result in the repository getting archived.

microsoft-github-policy-service[bot] commented 10 months ago

:warning: This repository will be archived because a response was expected but was not provided within the expected timeframe after several follow-ups. If you need to continue to use this repository, repository administrators can unarchive it. After successfully unarchiving, repository administrators must provide a response to prevent the repository from getting archived again.