Skip to content

Add no-duplicate-list-update-time feature - #4111

Merged
fregante merged 3 commits into
mainfrom
duplicate-time
Mar 16, 2021
Merged

fregante merged 3 commits into
mainfrom
duplicate-time

Conversation

@fregante

@fregante fregante commented Mar 16, 2021 •

Copy link
Copy Markdown
Member

@fregante
fregante marked this pull request as ready for review March 16, 2021 18:12

@yakov116 yakov116 left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Looks great.

Tested 🎉

@fregante
fregante merged commit 58fec10 into main Mar 16, 2021
@fregante
fregante deleted the duplicate-time branch March 16, 2021 19:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Development

Successfully merging this pull request may close these issues.

Drop duplicate "updated xx hours ago" text in PR lists sorted by last update

2 participants