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/nixpkgs
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: f8a5999a4e9e
Choose a base ref
...
head repository: NixOS/nixpkgs
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: 643b6a8c76ce
Choose a head ref
  • 2 commits
  • 4 files changed
  • 2 contributors

Commits on Oct 2, 2019

  1. gnomeExtensions.drop-down-terminal: init at 24

    @ericdallo @worldofpeace
    ericdallo authored and worldofpeace committed Oct 2, 2019

    Verified

    This commit was signed with the committer’s verified signature. The key has expired.
    jonringer Jonathan Ringer
    GPG key ID: 5C841D3CFDFEC4E0
    Expired
    Verified
    Learn about vigilant mode
    Copy the full SHA
    b1bf22a View commit details

  2. Merge pull request #70042 from ericdallo/add-gnome-extension-drop-dow… 

    …n-terminal

gnomeExtensions.drop-down-terminal: init at v24
    @worldofpeace
    worldofpeace authored Oct 2, 2019
    Copy the full SHA
    643b6a8 View commit details
Loading