You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

qwerty287 8eb1cd9264 Add "Allow edits from maintainer" feature (#18002) ... Adds a feature [like GitHub has](https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/proposing-changes-to-your-work-with-pull-requests/creating-a-pull-request-from-a-fork) (step 7). If you create a new PR from a forked repo, you can select (and change later, but only if you are the PR creator/poster) the "Allow edits from maintainers" option. Then users with write access to the base branch get more permissions on this branch: * use the update pull request button * push directly from the command line (`git push`) * edit/delete/upload files via web UI * use related API endpoints You can't merge PRs to this branch with this enabled, you'll need "full" code write permissions. This feature has a pretty big impact on the permission system. I might forgot changing some things or didn't find security vulnerabilities. In this case, please leave a review or comment on this PR. Closes #17728 Co-authored-by: 6543 <6543@obermui.de>		3 years ago
..
components	Improve dashboard's repo list performance (#18963)	3 years ago
features	Add "Allow edits from maintainer" feature (#18002)	3 years ago
markup	Various Mermaid improvements (#18776)	3 years ago
standalone	…
vendor	…
bootstrap.js	Show messages for users if the ROOT_URL is wrong, show JavaScript errors (#18971)	3 years ago
index.js	Add "Allow edits from maintainer" feature (#18002)	3 years ago
jquery.js	…
serviceworker.js	…
svg.js	…
svg.test.js	…
utils.js	Detect dark theme via css variable (#17800)	3 years ago
utils.test.js	…