Skip to content

pr_file_map.py: Use a human-readable date format - #15357

Merged
cclauss merged 2 commits into
masterfrom
pr_file_map.py-Use-a-human-readable-date-format
Sep 16, 2026
Merged

cclauss merged 2 commits into
masterfrom
pr_file_map.py-Use-a-human-readable-date-format

Conversation

@cclauss

@cclauss cclauss commented Sep 16, 2026

Copy link
Copy Markdown
Member

Use a human-readable date format.

Describe your change

  • Fix a bug or typo in an existing script?

Use a human-readable date format.
@cclauss
cclauss requested a review from poyea September 16, 2026 08:56
@algorithms-keeper algorithms-keeper Bot added awaiting reviews This PR is ready to be reviewed enhancement This PR modified some existing files labels Sep 16, 2026
@cclauss
cclauss enabled auto-merge (squash) September 16, 2026 08:57
@cclauss

cclauss commented Sep 16, 2026

Copy link
Copy Markdown
Member Author

@priya-sundaram-dev, please review.

@algorithms-keeper algorithms-keeper Bot added tests are failing Do not merge until tests pass and removed tests are failing Do not merge until tests pass labels Sep 16, 2026

@priya-sundaram-dev priya-sundaram-dev left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

LGTM — nice readability pass on the script, thanks for picking it up. Walked through each change:

  • Human-readable timestamp ({datetime.now(UTC):%d %b %Y at %H:%M} {UTC} → "16 Sep 2026 at 09:00 UTC") reads far better in the rendered report than the raw ISO string. 👍
  • directory_only as a comma-joined - #1, #2, ... list item renders much cleaner in the Markdown than the space-separated run.
  • scripts/pr_file_map.py in the usage examples matches what script_display_path() actually emits now — good consistency fix.
  • if root := git_root(): is functionally equivalent here since git_root() only ever returns None or a real (non-empty, truthy) Path, so dropping the explicit is not None is safe and cleaner.

All checks green. Approving.

@algorithms-keeper algorithms-keeper Bot removed the awaiting reviews This PR is ready to be reviewed label Sep 16, 2026
@cclauss
cclauss merged commit 0dd623a into master Sep 16, 2026
7 checks passed
@cclauss
cclauss deleted the pr_file_map.py-Use-a-human-readable-date-format branch September 16, 2026 10:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement This PR modified some existing files

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants