Files
Edward Thomson 39669956fb push: "push_options" are now "remote_push_options"
Since we use `git_push_options` as the options structure to our
`git_push` command, much like we do everywhere else, "push_options"
becomes ambiguous. "remote_options" isn't much better for us. Call them
"remote_push_options", which is still quite bad, and not particularly
insightful for end users, but at least something that we can discuss
unambiguously.
2024-02-06 20:40:26 +00:00
..
2020-08-18 14:58:21 +02:00
2024-01-11 16:34:36 +07:00
2022-04-28 17:06:54 +03:00
2022-01-05 16:35:52 +02:00
2023-04-10 14:21:16 +01:00
2022-01-09 10:41:24 +01:00
2023-04-10 11:02:12 +01:00
2023-02-12 22:02:00 +00:00
2022-04-28 17:06:54 +03:00
2019-06-16 17:56:38 +01:00
2021-09-09 19:49:04 +02:00
2023-02-12 22:02:00 +00:00
2022-01-17 21:21:54 -05:00
2022-01-05 16:35:52 +02:00
2022-01-05 16:35:52 +02:00
2018-06-22 13:19:40 +02:00
2022-01-05 16:35:52 +02:00
2022-01-17 21:21:54 -05:00
2023-02-16 09:11:57 +00:00
2019-06-10 11:37:00 +01:00
2021-02-22 22:57:16 +01:00
2022-01-05 16:35:52 +02:00
2023-07-17 11:07:50 +01:00