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

Update the license header to 2022 #1437

Merged
merged 8 commits into from
Jul 1, 2022
Merged

Update the license header to 2022 #1437

merged 8 commits into from
Jul 1, 2022

Commits on Jun 4, 2022

  1. Update the license header to 2022

    @jingtang10
    jingtang10 committed Jun 4, 2022
    Configuration menu
    Copy the full SHA
    676e538 View commit details
    Browse the repository at this point in the history

Commits on Jun 6, 2022

  1. Revert "Update the license header to 2022" 

    This reverts commit 676e538.
    @jingtang10
    jingtang10 committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    854e1ab View commit details
    Browse the repository at this point in the history

  2. Update the license header to 2022 and use ratchetFrom origin/main

    @jingtang10
    jingtang10 committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    aefb769 View commit details
    Browse the repository at this point in the history

  3. Correct origin/main to origin/master

    @jingtang10
    jingtang10 committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    29731d9 View commit details
    Browse the repository at this point in the history

  4. Correct comment from origin/main to origin/master

    @jingtang10
    jingtang10 committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    1978f97 View commit details
    Browse the repository at this point in the history

Commits on Jun 20, 2022

  1. Merge branch 'master' into license

    @jingtang10
    jingtang10 authored Jun 20, 2022
    Configuration menu
    Copy the full SHA
    a474294 View commit details
    Browse the repository at this point in the history

Commits on Jul 1, 2022

  1. Upgrade github fetch to v3 to fetch origin/master

    @jingtang10
    jingtang10 committed Jul 1, 2022
    Configuration menu
    Copy the full SHA
    85bb0d8 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into license

    @jingtang10
    jingtang10 authored Jul 1, 2022
    Configuration menu
    Copy the full SHA
    562c0dd View commit details
    Browse the repository at this point in the history