Skip to content

Add Hotdata to the "known users" list in introduction.md#23004

Merged
alamb merged 8 commits into
apache:mainfrom
zfarrell:patch-1
Jun 24, 2026
Merged

Add Hotdata to the "known users" list in introduction.md#23004
alamb merged 8 commits into
apache:mainfrom
zfarrell:patch-1

Conversation

@zfarrell

Copy link
Copy Markdown
Contributor

Rationale for this change

Add hotdata to known users list

@github-actions github-actions Bot added the documentation Improvements or additions to documentation label Jun 17, 2026
@zfarrell

Copy link
Copy Markdown
Contributor Author

Hey @alamb! Is this good to merge?

@alamb alamb left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Thanks @zfarrell

@alamb alamb added this pull request to the merge queue Jun 22, 2026
@github-merge-queue github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Jun 22, 2026
@zfarrell

Copy link
Copy Markdown
Contributor Author

@alamb could we try again 😬? looks like it failed for an unrelated reason yesterday: https://github.com/apache/datafusion/actions/runs/27978972582/job/82803890487

@alamb alamb added this pull request to the merge queue Jun 23, 2026
@github-merge-queue github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Jun 23, 2026
@alamb

alamb commented Jun 23, 2026

Copy link
Copy Markdown
Contributor

One more time for the win!

@alamb alamb enabled auto-merge June 23, 2026 21:33
@alamb alamb added this pull request to the merge queue Jun 24, 2026
Merged via the queue into apache:main with commit 6792fa9 Jun 24, 2026
36 checks passed
@zfarrell

Copy link
Copy Markdown
Contributor Author

Thanks @alamb! 🙌

@alamb

alamb commented Jun 24, 2026

Copy link
Copy Markdown
Contributor

I have no idea why that was so painful -- I merge a lot of PRs in this repo 😅 and they are almost never that bad

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants