Cleanup arkindex.project.tools

Also moves some more Himanis-specific code to arkindex.himanis!

changed the description

assigned to @babadie and unassigned @erwanrouchet

Codecov Report

Merging #868 into master will increase coverage by 0.06%. The diff coverage is 28.57%.

@@            Coverage Diff             @@
##           master     #868      +/-   ##
==========================================
+ Coverage   86.47%   86.53%   +0.06%     
==========================================
  Files         227      226       -1     
  Lines       14221    14175      -46     
==========================================
- Hits        12297    12267      -30     
+ Misses       1924     1908      -16     

Impacted Files	Coverage Δ
arkindex/project/tools.py	97.67% <ø> (+24.18%)
arkindex/himanis/tei.py	50.57% <28.57%> (-2.52%)

---

Continue to review full report at Codecov.

Legend - Click here to learn more Δ = absolute <relative> (impact), ø = not affected, ? = missing data Powered by Codecov. Last update 3d43ede...64a2397. Read the comment docs.

added 3 commits

• b9229d3e...3d43ede7 - 2 commits from branch master
• 64a23975 - Clean arkindex.project.tools

Compare with previous version

enabled an automatic merge when the pipeline for 64a23975 succeeds

canceled the automatic merge

mentioned in commit 0d34e569

merged