Skip to content

Commit 90e0bf2

Browse files
authored
repo sync
2 parents 81a9415 + 6fcd497 commit 90e0bf2

File tree

4 files changed

+10
-2
lines changed

4 files changed

+10
-2
lines changed

content/github/getting-started-with-github/keyboard-shortcuts.md

+4
Original file line numberDiff line numberDiff line change
@@ -159,6 +159,10 @@ For more keyboard shortcuts, see the [CodeMirror documentation](https://codemirr
159159
| Keyboard shortcut | Description
160160
|-----------|------------
161161
|<kbd>command + space </kbd> or <kbd>control + space</kbd> | In the workflow editor, get suggestions for your workflow file.
162+
|<kbd>g</kbd> <kbd>f</kbd> | Go to the workflow file
163+
|<kbd>shift + t</kbd> or <kbd>T</kbd> | Toggle timestamps in logs
164+
|<kbd>shift + f</kbd> or <kbd>F</kbd> | Toggle fullscreen logs
165+
|<kbd>esc</kbd> | Exit fullscreen logs
162166

163167
{% endif %}
164168

content/github/managing-your-work-on-github/managing-labels.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -27,7 +27,7 @@ versions:
2727

2828
You can manage your work on {% data variables.product.product_name %} by creating labels to categorize issues and pull requests. You can apply labels in the repository the label was created in. Once a label exists, you can use the label on any issue or pull request within that repository.
2929

30-
Anyone with read access to a repository can view and search the repository’s labels. To create, edit, apply, or delete a label, you must have write access to the repository.
30+
Anyone with read access to a repository can view and search the repository’s labels. Anyone with triage access to a repository can apply/dismiss existing labels. To create, edit, apply, or delete a label, you must have write access to the repository.
3131

3232
### About default labels
3333

content/github/setting-up-and-managing-organizations-and-teams/repository-permission-levels-for-an-organization.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -58,7 +58,7 @@ In addition to managing organization-level settings, organization owners have ad
5858
| View [GitHub Actions workflow runs](/actions/automating-your-workflow-with-github-actions/managing-a-workflow-run) | **X** | **X** | **X** | **X** | **X** |{% endif %}
5959
| Edit wikis | **X** | **X** | **X** | **X** | **X** |{% if currentVersion == "free-pro-team@latest" %}
6060
| [Report abusive or spammy content](/articles/reporting-abuse-or-spam) | **X** | **X** | **X** | **X** | **X** |{% endif %}
61-
| Apply labels | | **X** | **X** | **X** | **X** |
61+
| Apply/dismiss labels | | **X** | **X** | **X** | **X** |
6262
| Create, edit, delete labels | | | **X** | **X** | **X** |
6363
| Close, reopen, and assign all issues and pull requests | | **X** | **X** | **X** | **X** |{% if currentVersion == "free-pro-team@latest" %}
6464
| [Enable and disable auto-merge on a pull request](/github/administering-a-repository/managing-auto-merge-for-pull-requests-in-your-repository) | | | **X** | **X** | **X** |{% endif %}

content/github/using-git/using-git-rebase-on-the-command-line.md

+4
Original file line numberDiff line numberDiff line change
@@ -124,6 +124,10 @@ As before, Git is showing the commit message for you to edit. You can change the
124124
Since you've altered Git history, the usual `git push origin` **will not** work. You'll need to modify the command by "force-pushing" your latest changes:
125125

126126
```shell
127+
# Don't override changes
128+
$ git push origin main --force-with-lease
129+
130+
# Override changes
127131
$ git push origin main --force
128132
```
129133

0 commit comments

Comments
 (0)