Confirmed users
1,351
edits
GitHub/Repository Security/Problems and Options: Difference between revisions
Jump to navigation
Jump to search
GitHub/Repository Security/Problems and Options (view source)
Revision as of 20:15, 31 May 2018
, 31 May 2018add initial workarounds
(Created page with "Some of the Guidelines can appear to be excessively disruptive to workflows. This page lists options and workarounds folks have found for some c...") |
(add initial workarounds) |
||
| Line 15: | Line 15: | ||
* whomever does the merge, merges via shadow branch using GitHub web UI: | * whomever does the merge, merges via shadow branch using GitHub web UI: | ||
[[File:Mermaid-diagram-20180531130011.svg|framed|center|Merging unsigned commits into commit required branch]] | [[File:Mermaid-diagram-20180531130011.svg|framed|center|Merging unsigned commits into commit required branch]] | ||
=== Problem: I can't squash merge PRs generated by 3rd party services === | |||
This often occurs with dependency management tools, and is a [https://github.com/renovateapp/renovate/issues/1828 known problem]. The commits in the PR are signed, they just can't be included via any method that modifies that signed commit. Only the "merge" technique meets that requirement. | |||
= General Notes = | = General Notes = | ||
For tips that don't fit nicely above, please list them here. | For tips that don't fit nicely above, please list them here. | ||
== GitHub web UI Challenges == | == GitHub web UI Challenges == | ||