Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: NixOS/ofborg
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: d7633725b834
Choose a base ref
...
head repository: NixOS/ofborg
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: a4a30446ae55
Choose a head ref
  • 2 commits
  • 1 file changed
  • 2 contributors

Commits on Jul 24, 2020

  1. config.public.json: Rename the GNOME label 

    GNOME might switch to different versioning scheme soon so gnome3 might not make sense.
    @jtojnar
    jtojnar authored Jul 24, 2020
    Copy the full SHA
    2303536 View commit details

  2. Merge pull request #526 from jtojnar/patch-1 

    config.public.json: Rename the GNOME label
    @cole-h
    cole-h authored Jul 24, 2020
    Copy the full SHA
    a4a3044 View commit details
Showing with 1 addition and 1 deletion.
  1. +1 −1 config.public.json
2 changes: 1 addition & 1 deletion config.public.json
View file
Original file line number Diff line number Diff line change
@@ -137,7 +137,7 @@
"6.topic: fetch": [
"pkgs/build-support/fetch"
],
"6.topic: gnome3": [
"6.topic: GNOME": [
"pkgs/desktops/gnome-3",
"nixos/modules/services/x11/desktop-managers/gnome3.nix",
"nixos/tests/gnome3.nix",