Skip to content
This repository has been archived by the owner on Aug 7, 2024. It is now read-only.

🍱 Include obsolete terms in .df #481

Merged
merged 1 commit into from
Jul 23, 2023
Merged

🍱 Include obsolete terms in .df #481

merged 1 commit into from
Jul 23, 2023

Conversation

sunnyosun
Copy link
Member

No description provided.

@sunnyosun sunnyosun merged commit 38a1bb6 into staging Jul 23, 2023
0 of 2 checks passed
@sunnyosun sunnyosun deleted the obselete branch July 23, 2023 14:33
sunnyosun added a commit that referenced this pull request Jul 23, 2023
* ✨ Add diff (#468)

* ✨ Use input prompt (#467)

* 📝 Update release notes

* 📝 Build docs standalone again (#465)

* 📝 Build docs standalone again

* 📝 Fix docstring

* 📝 Consolidate readme

* 👷 Strict erroring docs build

* 💚 Fix

* 📝 Prettify

* 📝 Prettier

* 📝 Update release notes

* 🚸 Case insensitive search (#466)

* 📝 Update release notes

* 🔖 Release 0.24.2

* ✨ Use input prompt

Signed-off-by: zethson <[email protected]>

---------

Signed-off-by: zethson <[email protected]>
Co-authored-by: github-actions <[email protected]>
Co-authored-by: Alex Wolf <[email protected]>
Co-authored-by: Sunny Sun <[email protected]>

* ✨ Add diff implementation

Signed-off-by: zethson <[email protected]>

* ✅ Add more tests

Signed-off-by: zethson <[email protected]>

* ✨ Add existing entries diff

Signed-off-by: zethson <[email protected]>

* ✨ Add to repr

Signed-off-by: zethson <[email protected]>

* Add to guide

Signed-off-by: zethson <[email protected]>

---------

Signed-off-by: zethson <[email protected]>
Co-authored-by: github-actions <[email protected]>
Co-authored-by: Alex Wolf <[email protected]>
Co-authored-by: Sunny Sun <[email protected]>

* 🍱 Include obsolete terms in .df (#481)

* 🚚 Fix tests (#482)

---------

Signed-off-by: zethson <[email protected]>
Co-authored-by: Lukas Heumos <[email protected]>
Co-authored-by: github-actions <[email protected]>
Co-authored-by: Alex Wolf <[email protected]>
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.

1 participant