1636928
results for "*"
-
see: https://tantek.com/2024/245/t1/read-write-suggest-edit-update-web
[tantek]
at
2024-09-19 17:59
-
[mattl] personally I dislike both
[tantek]
at
2024-09-19 17:59
-
Pull request is GitHub specific, I think merge request is the generic term
[mattl]
at
2024-09-19 17:59
-
and we need more examples / experiments with that
[tantek]
at
2024-09-19 17:59
-
as are wiki edits
[tantek]
at
2024-09-19 17:59
-
^ also related thepaperpilot. A Pull Request is essentially an "edit" post
[tantek]
at
2024-09-19 17:58
-
✂️✏️ An edit (AKA diff, change) is a special type of reply that indicates a set of suggested changes to the post it is replying to. A collection of (presumably related) suggested edits in open source is often called a patch or pull request https://indieweb.org/diff
Loqi
at
2024-09-19 17:58
-
what is a diff
[tantek]
at
2024-09-19 17:58
-
related: https://indieweb.org/code , https://indieweb.org/review#Brainstorming , https://forgejo.org/2023-01-10-answering-forgejo-federation-questions
[snarfed]
at
2024-09-19 17:58
-
I think it'd make sense to include my commits or PRs in my activity feed. Do you think note posts would be appropriate
thepaperpilot
at
2024-09-19 17:46
Sort by:
Filter results by:
Tag
Query took 0.08s.
Search tips
- Exclusion
- +foo -bar
- Logical OR
- foo OR bar
- Exact phrase
- "foo bar"
- Partial words
- foo*
- Particular fields only
- title:foo
- domain:example.org
- nick:somebody
- after:2016-11-23
- before:2016-11-23
- date:2016-11-23