Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Tutorial 14 doc changes #2714

Merged
merged 2 commits into from
Jun 23, 2022
Merged

Tutorial 14 doc changes #2714

merged 2 commits into from
Jun 23, 2022

Conversation

ZanSara
Copy link
Contributor

@ZanSara ZanSara commented Jun 23, 2022

Proposed changes:

  • For some reason the bot did not apply doc changes to the recent Tutorial 14 PR (Tutorial 14 edit #2663), and it's now spamming other unrelated PRs with those changes.
  • This PR will merge these changes and stop the bot from spamming.

@ZanSara ZanSara added the ignore-for-release-notes PRs with this flag won't be included in the release notes. label Jun 23, 2022
@ZanSara ZanSara requested a review from vblagoje June 23, 2022 08:26
@ZanSara ZanSara mentioned this pull request Jun 23, 2022
4 tasks
Copy link
Contributor

@masci masci left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

😌

@ZanSara ZanSara merged commit e69492a into master Jun 23, 2022
@ZanSara ZanSara deleted the tut14-bot-changes branch June 23, 2022 10:36
Krak91 pushed a commit to Krak91/haystack that referenced this pull request Jul 26, 2022
* let the bot apply changes in this pr

* Update Documentation & Code Style

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ignore-for-release-notes PRs with this flag won't be included in the release notes.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants