GitHub

Contents

    2020 A la découverte de GitHub Codespaces
    2020 GitHub Actions: Publish to GitHub Packages
    2021 Github Actions

    GitHub.com Documentation
    GitHub command line
    GitHub flow
    GitHub Actions for Java
    Getting started with Github Actions: Run JUnit 5 tests in a Java project with Maven
    GitHub Actions and Maven releases

    Note : clés publiques données à github https://github.com/username.keys

    Faire un checkout de la pull request GitHub

    git config --global --add remote.origin.fetch "+refs/pull/*/head:refs/remotes/origin/pr/*"
    git fetch origin
    
    # And then
    git checkout pr/123
    

    Proudly Powered by Zim 0.75.2.

    Template by Etienne Gandrille, based on ZeroFiveEight and using JQuery Toc Plugin.