Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[RFC 140 2b] pkgs/by-name: Automated migration #211832

Draft
wants to merge 10 commits into
base: master
Choose a base branch
from
Draft

[RFC 140 2b] pkgs/by-name: Automated migration #211832

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
f6e5ea8
documentation-highlighter: Only depend on needed files
infinisil Jan 23, 2023
d66bed8
zsh-clipboard: Make independent of Nix file
infinisil Jan 23, 2023
b0b8993
Implement unit directory reading
infinisil Jan 17, 2023
24ce478
Run automatic migration
infinisil Jan 23, 2023
5727203
Fix evaluation from previous automatic migration
infinisil Jan 20, 2023
fd7080e
Update backport.yml
infinisil May 15, 2023
60f9084
Testing backports for moved files
infinisil May 15, 2023
a0d4eea
Merge pull request #3 from nixpkgs-architecture/pr-test
infinisil May 15, 2023
1b9cae4
PR test 2
infinisil May 15, 2023
3a73796
Merge pull request #4 from nixpkgs-architecture/pr-test-2
infinisil May 15, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
The diff you're trying to view is too large. We only load the first 3000 changed files.
2 changes: 1 addition & 1 deletion .github/workflows/backport.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ jobs:
contents: write # for korthout/backport-action to create branch
pull-requests: write # for korthout/backport-action to create PR to backport
name: Backport Pull Request
if: github.repository_owner == 'NixOS' && github.event.pull_request.merged == true && (github.event_name != 'labeled' || startsWith('backport', github.event.label.name))
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think this should be changed back after this PR has been merged, otherwise this workflow might run in every contributors repo as well, right?

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Oh yeah I only used this for testing. I'll have to completely update this PR once everything is ready.

if: github.event.pull_request.merged == true && (github.event_name != 'labeled' || startsWith('backport', github.event.label.name))
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
Expand Down
Loading
Loading