8000 MEF: fix deleted agents by rerowep · Pull Request #84 · rero/rero-mef · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

MEF: fix deleted agents #84

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

Merged
merged 1 commit into from
Jun 14, 2022
Merged

MEF: fix deleted agents #84

merged 1 commit into from
Jun 14, 2022

Conversation

rerowep
Copy link
Contributor
@rerowep rerowep commented Jun 9, 2022
  • Deleted enteties could be accessed by MEF.

Co-Authored-by: Peter Weber peter.weber@rero.ch

@rerowep rerowep requested review from jma and BadrAly June 9, 2022 21:08
@rerowep rerowep self-assigned this Jun 9, 2022
@coveralls
Copy link
coveralls commented Jun 9, 2022

Coverage Status

Coverage increased (+0.05%) to 72.753% when pulling a37ac86 on rerowep:wep-fix-deleted into ca6127c on rero:staging.

@rerowep rerowep force-pushed the wep-fix-deleted branch 3 times, most recently from a08fc74 to 24dc2f2 Compare June 13, 2022 11:51
@rerowep rerowep force-pushed the wep-fix-deleted branch 6 times, most recently from 131524e to 4370ebc Compare June 14, 2022 08:28
Copy link
Contributor
@jma jma left a comment

Choose a reason for hiding this comment

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

Please spell check your commit message.

@rerowep rerowep force-pushed the wep-fix-deleted branch 3 times, most recently from f58eb5e to 98b2292 Compare June 14, 2022 09:36
* Deleted entities could be accessed by MEF.
* Adds `with_deleted` to search.
* Update dependencies.
* Improved code from Sourcery suggestions.
* Fixes missing `$schema` in updated records.

Co-Authored-by: Peter Weber <peter.weber@rero.ch>
@rerowep rerowep merged commit 63066c1 into rero:staging Jun 14, 2022
@rerowep rerowep deleted the wep-fix-deleted branch June 14, 2022 13:57
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.

4 participants
0