Skip to content
This repository was archived by the owner on Dec 2, 2024. It is now read-only.

PLT-618: Rename hysterical-screams to rewindable-index#673

Merged
sjoerdvisscher merged 3 commits intomainfrom
PLT-618-Rewindable-Index
Aug 23, 2022
Merged

PLT-618: Rename hysterical-screams to rewindable-index#673
sjoerdvisscher merged 3 commits intomainfrom
PLT-618-Rewindable-Index

Conversation

@sjoerdvisscher
Copy link
Contributor

@sjoerdvisscher sjoerdvisscher commented Aug 22, 2022

Pre-submit checklist:

  • Branch
    • Tests are provided (if possible)
    • Commit sequence broadly makes sense
    • Key commits have useful messages
    • Formatting, PNG optimization, etc. are updated
  • PR
    • Self-reviewed the diff
    • Useful pull request description
    • Reference the ADR in the PR and reference the PR in the ADR (if revelant)
    • Reviewer requested

@sjoerdvisscher sjoerdvisscher force-pushed the PLT-618-Rewindable-Index branch from 67ae48a to a498f50 Compare August 22, 2022 12:43
@sjoerdvisscher sjoerdvisscher changed the title Rename hysterical-screams to rewindable-index PLT-618: Rename hysterical-screams to rewindable-index Aug 22, 2022
Copy link
Contributor

@raduom raduom left a comment

Choose a reason for hiding this comment

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

LGTM

@sjoerdvisscher sjoerdvisscher force-pushed the PLT-618-Rewindable-Index branch from 50ee1dc to ee7ff5f Compare August 22, 2022 14:27
Copy link
Contributor

@andreabedini andreabedini left a comment

Choose a reason for hiding this comment

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

👍

@sjoerdvisscher sjoerdvisscher merged commit 8213da0 into main Aug 23, 2022
@sjoerdvisscher sjoerdvisscher deleted the PLT-618-Rewindable-Index branch August 23, 2022 12:49
koslambrou pushed a commit that referenced this pull request Apr 6, 2023
* Rename hysterical-screams to rewindable-index

* Fixes after merging
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants