raf NotAShelf · he/him
1 follower · 2 following
  • [::1]
  • https://notashelf.dev

  • Political Scientist, Open source advocate, high-level programmer. NixOS hacker and nixpkgs contributor.

  • Joined on 2024-08-03
Repositories
29
 Projects Packages Public activity Starred repositories
1
NotAShelf synced commits to refs/pull/768/merge at NotAShelf/nvf from mirror 2025-05-07 10:50:29 +00:00
2471cbfba3 Merge 0ffd8321e9 into 99f1200c8d
99f1200c8d revert "Merge pull request #884 from horriblename/cmp-sources-normal-prio"
Compare 2 commits »
NotAShelf synced commits to refs/pull/678/merge at NotAShelf/nvf from mirror 2025-05-07 02:40:29 +00:00
01bcdb7bc4 Merge 115f3aa594 into 99f1200c8d
99f1200c8d revert "Merge pull request #884 from horriblename/cmp-sources-normal-prio"
Compare 2 commits »
NotAShelf synced commits to refs/pull/828/merge at NotAShelf/nvf from mirror 2025-05-07 02:40:29 +00:00
9c2e82cca2 Merge b6b79034f1 into 99f1200c8d
99f1200c8d revert "Merge pull request #884 from horriblename/cmp-sources-normal-prio"
Compare 2 commits »
NotAShelf synced commits to refs/pull/865/merge at NotAShelf/nvf from mirror 2025-05-07 02:40:29 +00:00
bb5db19f2f Merge 60ab3c90b4 into 99f1200c8d
99f1200c8d revert "Merge pull request #884 from horriblename/cmp-sources-normal-prio"
Compare 2 commits »
NotAShelf synced commits to refs/pull/869/merge at NotAShelf/nvf from mirror 2025-05-07 02:40:29 +00:00
dd12d1107b Merge 21a440e2f8 into 99f1200c8d
99f1200c8d revert "Merge pull request #884 from horriblename/cmp-sources-normal-prio"
Compare 2 commits »
NotAShelf synced commits to refs/pull/885/merge at NotAShelf/nvf from mirror 2025-05-07 02:40:29 +00:00
f0462d7283 Merge 36d1862e44 into 99f1200c8d
99f1200c8d revert "Merge pull request #884 from horriblename/cmp-sources-normal-prio"
Compare 2 commits »
NotAShelf synced commits to refs/pull/867/merge at NotAShelf/nvf from mirror 2025-05-06 18:30:31 +00:00
8f705dab20 Merge e610d86194 into d3c7f7125c
d3c7f7125c Merge pull request #884 from horriblename/cmp-sources-normal-prio
f07468e13a ci: fix labeler config
d330db08e0 Merge pull request #886 from menghaoyu2002/fix/bufferline-indicator-typo
9e94587102 tabline/bufferline: fix typo in the word "indicator"
Compare 28 commits »
NotAShelf synced commits to refs/pull/869/merge at NotAShelf/nvf from mirror 2025-05-06 18:30:31 +00:00
2e8e7759f1 Merge 21a440e2f8 into d3c7f7125c
d3c7f7125c Merge pull request #884 from horriblename/cmp-sources-normal-prio
61be6cf405 cmp: use normal priority for default values
Compare 3 commits »
NotAShelf synced commits to refs/pull/885/merge at NotAShelf/nvf from mirror 2025-05-06 18:30:31 +00:00
0cf1a20156 Merge 36d1862e44 into d3c7f7125c
d3c7f7125c Merge pull request #884 from horriblename/cmp-sources-normal-prio
61be6cf405 cmp: use normal priority for default values
Compare 3 commits »
NotAShelf synced commits to refs/pull/678/merge at NotAShelf/nvf from mirror 2025-05-06 18:30:30 +00:00
0e385ffe81 Merge 115f3aa594 into d3c7f7125c
d3c7f7125c Merge pull request #884 from horriblename/cmp-sources-normal-prio
f07468e13a ci: fix labeler config
d330db08e0 Merge pull request #886 from menghaoyu2002/fix/bufferline-indicator-typo
9e94587102 tabline/bufferline: fix typo in the word "indicator"
Compare 6 commits »
NotAShelf synced commits to refs/pull/708/merge at NotAShelf/nvf from mirror 2025-05-06 18:30:30 +00:00
b61a4a0e96 Merge 55e11e543b into d3c7f7125c
d3c7f7125c Merge pull request #884 from horriblename/cmp-sources-normal-prio
61be6cf405 cmp: use normal priority for default values
Compare 3 commits »
NotAShelf synced commits to refs/pull/768/merge at NotAShelf/nvf from mirror 2025-05-06 18:30:30 +00:00
31e0f81d48 Merge 0ffd8321e9 into d3c7f7125c
d3c7f7125c Merge pull request #884 from horriblename/cmp-sources-normal-prio
61be6cf405 cmp: use normal priority for default values
Compare 3 commits »
NotAShelf synced commits to refs/pull/827/merge at NotAShelf/nvf from mirror 2025-05-06 18:30:30 +00:00
7bd84a2be6 Merge db8986cdc6 into d3c7f7125c
d3c7f7125c Merge pull request #884 from horriblename/cmp-sources-normal-prio
f07468e13a ci: fix labeler config
d330db08e0 Merge pull request #886 from menghaoyu2002/fix/bufferline-indicator-typo
9e94587102 tabline/bufferline: fix typo in the word "indicator"
Compare 42 commits »
NotAShelf synced commits to refs/pull/828/merge at NotAShelf/nvf from mirror 2025-05-06 18:30:30 +00:00
74b64e6bf7 Merge b6b79034f1 into d3c7f7125c
d3c7f7125c Merge pull request #884 from horriblename/cmp-sources-normal-prio
f07468e13a ci: fix labeler config
d330db08e0 Merge pull request #886 from menghaoyu2002/fix/bufferline-indicator-typo
9e94587102 tabline/bufferline: fix typo in the word "indicator"
Compare 6 commits »
NotAShelf synced commits to refs/pull/832/merge at NotAShelf/nvf from mirror 2025-05-06 18:30:30 +00:00
c09bf0503b Merge c8624666b0 into d3c7f7125c
d3c7f7125c Merge pull request #884 from horriblename/cmp-sources-normal-prio
f07468e13a ci: fix labeler config
d330db08e0 Merge pull request #886 from menghaoyu2002/fix/bufferline-indicator-typo
9e94587102 tabline/bufferline: fix typo in the word "indicator"
Compare 42 commits »
NotAShelf synced commits to refs/pull/865/merge at NotAShelf/nvf from mirror 2025-05-06 18:30:30 +00:00
8d40ff43a6 Merge 60ab3c90b4 into d3c7f7125c
d3c7f7125c Merge pull request #884 from horriblename/cmp-sources-normal-prio
61be6cf405 cmp: use normal priority for default values
Compare 3 commits »
NotAShelf synced and deleted reference refs/tags/refs/pull/884/merge at NotAShelf/nvf from mirror 2025-05-06 18:30:30 +00:00
NotAShelf synced commits to gh-pages at NotAShelf/nvf from mirror 2025-05-06 18:30:30 +00:00
aebafaa03f deploy: 99f1200c8d
df9e658848 deploy: d3c7f7125c
Compare 2 commits »
NotAShelf synced commits to main at NotAShelf/nvf from mirror 2025-05-06 18:30:30 +00:00
99f1200c8d revert "Merge pull request #884 from horriblename/cmp-sources-normal-prio"
d3c7f7125c Merge pull request #884 from horriblename/cmp-sources-normal-prio
61be6cf405 cmp: use normal priority for default values
Compare 3 commits »
NotAShelf synced commits to refs/pull/559/merge at NotAShelf/nvf from mirror 2025-05-06 18:30:30 +00:00
4b967c0e64 Merge 49b748072b into d3c7f7125c
d3c7f7125c Merge pull request #884 from horriblename/cmp-sources-normal-prio
f07468e13a ci: fix labeler config
d330db08e0 Merge pull request #886 from menghaoyu2002/fix/bufferline-indicator-typo
9e94587102 tabline/bufferline: fix typo in the word "indicator"
Compare 37 commits »