Auto: misc.

2026-08-07 23:16:21 +00:00 · 2020-11-29 18:04:52 +01:00
parent 657c36af30
commit ede155d5ed
5 changed files with 24 additions and 4 deletions
@@ -0,0 +1,6 @@
+# PR
+
+- A Pull Request. A flow in which one person requests that a change they've made in a fork of a [[git]] repository is incorporated into another branch. 
+- The usual way to contribute patches to projects in [[git]].
+- A [[github]] concept, not core to [[git]] proper.
+