Skip to content

document policy for upstream package compatibility#63208

Closed
dagitses wants to merge 3 commits intogh/dagitses/5/basefrom
gh/dagitses/5/head
Closed

document policy for upstream package compatibility#63208
dagitses wants to merge 3 commits intogh/dagitses/5/basefrom
gh/dagitses/5/head

Conversation

@dagitses
Copy link
Copy Markdown
Collaborator

@dagitses dagitses commented Aug 13, 2021 •
edited
Loading

@facebook-github-bot
Copy link
Copy Markdown
Contributor

facebook-github-bot commented Aug 13, 2021 •
edited
Loading

🔗 Helpful links

💊 CI failures summary and remediations

As of commit d2ae3ba (more details on the Dr. CI page):

  • 1/1 failures introduced in this PR

1 failure not recognized by patterns:

Job Step Action
GitHub Actions Lint / quick-checks Ensure no trailing spaces 🔁 rerun
This comment was automatically generated by Dr. CI (expand for details).Follow this link to opt-out of these comments for your Pull Requests.

Please report bugs/suggestions to the (internal) Dr. CI Users group.

Click here to manually regenerate this comment.

dagitses pushed a commit that referenced this pull request Aug 13, 2021
document policy for upstream package compatibility
9ba148e 
Fixes #63207

ghstack-source-id: 1274431
Pull Request resolved: #63208
@dagitses dagitses requested a review from malfet August 31, 2021 19:49
dagitses pushed a commit that referenced this pull request Sep 24, 2021
document policy for upstream package compatibility
6e8b86e 
Fixes #63207

ghstack-source-id: f2aeadf
Pull Request resolved: #63208
@dagitses dagitses mentioned this pull request Dec 6, 2021
Closed
@albanD albanD mentioned this pull request Mar 14, 2022
Closed
@github-actions
Copy link
Copy Markdown
Contributor

github-actions bot commented Apr 13, 2022

Looks like this PR hasn't been updated in a while so we're going to go ahead and mark this as Stale.
Feel free to remove the Stale label if you feel this was a mistake.
If you are unable to remove the Stale label please contact a maintainer in order to do so.
If you want the bot to never mark this PR stale again, add the no-stale label.
Stale pull requests will automatically be closed after 30 days of inactivity.

@github-actions github-actions bot added the Stale label Apr 13, 2022
@github-actions github-actions bot closed this May 13, 2022
@facebook-github-bot facebook-github-bot deleted the gh/dagitses/5/head branch June 13, 2022 14:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@malfet malfet Awaiting requested review from malfet

Assignees

No one assigned

Labels

cla signed docs-hackathon Stale

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@dagitses @facebook-github-bot