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

chore: Rename Hydroflow -> DFIR #1620

Merged
merged 10 commits into from
Dec 21, 2024
Merged

Conversation

rohitkulshreshtha
Copy link
Contributor

@rohitkulshreshtha rohitkulshreshtha commented Dec 20, 2024

Work In Progress:

  • hydroflow_macro
  • hydroflow_datalog_core
  • hydroflow_datalog
  • hydroflow_lang
  • hydroflow

Copy link

cloudflare-workers-and-pages bot commented Dec 20, 2024

Deploying hydroflow with  Cloudflare Pages  Cloudflare Pages

Latest commit: f4da6ed
Status: ✅  Deploy successful!
Preview URL: https://141b77f0.hydroflow.pages.dev
Branch Preview URL: https://rohit-hf-rename.hydroflow.pages.dev

View logs

@rohitkulshreshtha rohitkulshreshtha changed the base branch from main to rohit_hfp_rename December 20, 2024 04:57
@rohitkulshreshtha rohitkulshreshtha requested review from jhellerstein and removed request for zzlk December 20, 2024 05:09
@shadaj
Copy link
Member

shadaj commented Dec 20, 2024

The diff seems to introduce a lot new lines without removing old
ones (same for the HF+ PR), are there leftover files somewhere?

@rohitkulshreshtha rohitkulshreshtha marked this pull request as ready for review December 20, 2024 21:11
@rohitkulshreshtha rohitkulshreshtha changed the title chore: (WIP) Rename Hydroflow -> DFIR chore: Rename Hydroflow -> DFIR Dec 20, 2024
@rohitkulshreshtha
Copy link
Contributor Author

The diff seems to introduce a lot new lines without removing old ones (same for the HF+ PR), are there leftover files somewhere?

Not sure. Files have been moved - how are those accounted in statistics?

@shadaj
Copy link
Member

shadaj commented Dec 20, 2024

Moves shouldn't count. My hunch is there are new snapshot files but old ones haven't been cleaned up? Because snapshot file names include the crate name.

Comment on lines +89 to +90
hydroflow dfir_lang dfir_macro hydroflow_plus
hydroflow_plus_std dfir_datalog dfir_datalog_core
Copy link
Member

Choose a reason for hiding this comment

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

Seems the hydroflow_plus ones here didn't get updated

@@ -10,11 +10,11 @@ The Hydroflow repo is set up as a monorepo and [Cargo workspace](https://doc.rus
Relative to the repository root:

* `hydroflow` is the main Hydroflow package, containing the Hydroflow runtime. It re-exports the
Copy link
Member

Choose a reason for hiding this comment

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

dfir_rs

@MingweiSamuel MingweiSamuel merged commit 43617b8 into rohit_hfp_rename Dec 21, 2024
16 checks passed
@MingweiSamuel
Copy link
Member

Oops - this didn't go into main

MingweiSamuel pushed a commit that referenced this pull request Dec 22, 2024
Work In Progress:
- [x] hydroflow_macro
- [x] hydroflow_datalog_core
- [x] hydroflow_datalog
- [x] hydroflow_lang
- [x] hydroflow
MingweiSamuel added a commit that referenced this pull request Dec 22, 2024
@MingweiSamuel
Copy link
Member

3291c07

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants