NameError: name 'get_modification_time' is not defined

[rohanbanerjee]

I am using the latest version of the manual-correction software, SHA - 7242702d1c8d40e5ea820d2b4c4cc0c852e49c43.
I am getting the error NameError: name 'get_modification_time' is not defined while running it. I do understand the functionality of it but I'm curious why it was included there without defining the function or am I missing out on something here.

If it was not defined then I can make a function get_modification_time in utils.py and call it here.

[NathanMolinier]

It looks like this error was introduced by the last commit 7242702 and you seem to be the co-author here ahah

Related to this PR: #88

If you know what this function was supposed to do, I think you are the most suited for the task.

[valosekj]

Thanks for reporting this, @rohanbanerjee. I have a feeling that #88 was not properly tested before merging. Especially after this merge commit (39acd0f).

I can still see an option to revert the PR:

So maybe we can revert the merge, which will make main work again. And after proper testing, the PR could be remerged. Any ideas?

[rohanbanerjee]

Yup that sounds good. I have opened a PR to revert the changes. Will make fresh changes and open another PR for the same.

[valosekj]

Reverted now by #94