Skip to content

Add lore to software productivity#5081

Merged
kenyonj merged 6 commits intogithub:mainfrom
ErezShahaf:main
Mar 30, 2026
Merged

Add lore to software productivity#5081
kenyonj merged 6 commits intogithub:mainfrom
ErezShahaf:main

Conversation

@ErezShahaf
Copy link
Copy Markdown
Contributor

@ErezShahaf ErezShahaf commented Mar 18, 2026

Please confirm this pull request meets the following requirements:

Which change are you proposing?

  • Suggesting edits to an existing topic or collection
  • Curating a new topic or collection
  • Something that does not neatly fit into the binary options above

Editing an existing topic or collection

I'm suggesting these edits to an existing topic or collection:

  • Image (and my file is *.png, square, dimensions 288x288, size <= 75 kB)
  • Content (and my changes are in index.md)

Please replace this line with an explanation of why you think these changes should be made.

Curating a new topic or collection

  • I've formatted my changes as a new folder directory, named for the topic or collection as it appears in the URL on GitHub (e.g. https://github.com/topics/[NAME] or https://github.com/collections/[NAME])
  • My folder contains a *.png image (if applicable) and index.md
  • All required fields in my index.md conform to the Style Guide and API docs: https://github.com/github/explore/tree/main/docs

Please replace this line with an explanation of why you think this topic or collection should be curated.

Something that does not neatly fit into the binary options above

  • My suggested edits are not about an existing topic or collection, or at least not a single one
  • My suggested edits are not about curating a new topic or collection, or at least not a single one
  • My suggested edits conform to the Style Guide and API docs: https://github.com/github/explore/tree/main/docs

Please replace this line with an explanation of your proposed changes.


Please note: we will close your PR without comment if you do not check the boxes above and provide ALL requested information.

@ErezShahaf ErezShahaf requested a review from a team as a code owner March 18, 2026 23:53
@kenyonj kenyonj added this pull request to the merge queue Mar 30, 2026
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to a conflict with the base branch Mar 30, 2026
@kenyonj kenyonj enabled auto-merge March 30, 2026 20:02
@kenyonj kenyonj added this pull request to the merge queue Mar 30, 2026
Merged via the queue into github:main with commit 27108c6 Mar 30, 2026
9 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants