Procesadores de Lenguajes

3º. 2º cuatrimestre. Itinerario de Computación. Grado en Ingeniería Informática. ULL

Organization ULL-ESIT-PL-1920 Github Classroom ULL-ESIT-PL-1920 Campus Virtual PL Chat Chat Profesor Casiano

GitHub Releases

GitHub Releases

GitHub Releases is a way to create a release to package software, along with release notes and links to binary files, for other people to use.

Releases are based on Git tags, which mark a specific point in your repository’s history. A tag date may be different than a release date since they can be created at different times. For more information about viewing your existing tags, see “Viewing your repository’s releases and tags.

Releases are ordered by a tag’s date in the following way:

If it’s an annotated tag, the tag object’s date is used.
If it’s a lightweight tag, then the commit object’s date is used.

The release Event

A GitHub event with the name release is triggered when a release is

published,
unpublished,
created,
edited,
deleted, or
prereleased.

See GitHub Webhooks.

Creating Releases Using the GitHub Web App

You can create releases on GitHub Web:

On GitHub, navigate to the main page of the repository.
Under your repository name, click Releases.

https://help.github.com/assets/images/help/releases/release-link.png
Click Draft a new release.
Type a version number for your release. Versions are based on Git tags. We recommend naming tags that fit within semantic versioning.
Use the drop-down menu to select the branch that contains the project you want to release.
Type a title and description for your release.
Optionally, to include binary files such as compiled programs in your release, drag and drop or manually select files in the binaries box.
To notify users that the release is not ready for production and may be unstable, select This is a pre-release.
If you’re ready to publicize your release, click Publish release. To work on the release later, click Save draft.