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: DefinitelyTyped/DefinitelyTyped
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: master
Choose a base ref
...
head repository: Hyperproof/DefinitelyTyped
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: master
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 5 commits
  • 0 files changed
  • 3 contributors

Commits on Oct 23, 2022

  1. Configuration menu
    Copy the full SHA
    f1cbe4a View commit details
    Browse the repository at this point in the history
  2. Fix typo.

    andrewrmiller committed Oct 23, 2022
    Configuration menu
    Copy the full SHA
    52f2ec2 View commit details
    Browse the repository at this point in the history

Commits on Oct 24, 2022

  1. PR feedback.

    andrewrmiller committed Oct 24, 2022
    Configuration menu
    Copy the full SHA
    ab7d00a View commit details
    Browse the repository at this point in the history

Commits on Jan 17, 2023

  1. Configuration menu
    Copy the full SHA
    e7ac691 View commit details
    Browse the repository at this point in the history

Commits on Apr 14, 2023

  1. Configuration menu
    Copy the full SHA
    8a8ca6a View commit details
    Browse the repository at this point in the history
Loading