Added DOER metric

[ocelot335]

#126 was added

[yegor256]

@rultor merge

[rultor]

@rultor merge

@yegor256 OK, I'll try to merge now. You can check the progress of the merge here

[rultor]

@rultor merge

@ocelot335 @yegor256 Oops, I failed. You can see the full log here (spent 11min)

[ocelot335]

Well, I tried removing the wrong spaces

[ocelot335]

@yegor256 could you please try to merge again?

[yegor256]

@rultor merge

[rultor]

@rultor merge

@yegor256 OK, I'll try to merge now. You can check the progress of the merge here

[rultor]

@rultor merge

@ocelot335 @yegor256 Oops, I failed. You can see the full log here (spent 10min)

[yegor256]

@ocelot335 try to run make clean lint locally

[ocelot335]

@yegor256, can you please try again?

[yegor256]

@rultor merge

[rultor]

@rultor merge

@yegor256 OK, I'll try to merge now. You can check the progress of the merge here

[rultor]

@rultor merge

@ocelot335 @yegor256 Oops, I failed. You can see the full log here (spent 10min)

[ocelot335]

Well, I forgot to update number of metrics, sorry

[yegor256]

@rultor merge

[rultor]

@rultor merge

@ocelot335 @yegor256 Can't merge it. Some CI checks were failed. Apparently, the pull request is not ready to be merged since it has some problems. Please, fix them first.

[ocelot335]

@yegor256 Hope everything is ok now. I forgot to sync with yesterday's master commits

[yegor256]

@rultor merge

[rultor]

@rultor merge

@yegor256 OK, I'll try to merge now. You can check the progress of the merge here

[rultor]

@rultor merge

@yegor256 Done! FYI, the full log is here (took me 13min)

[yegor256]

@ocelot335 thanks!