Giters

sambitdash / Rectangle.jl

Simple Rectangle operations in 2-D.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Build tracker

sambitdash opened this issue · comments

commented

Registration pull request created: JuliaRegistries/General/4990

After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.

This will be done automatically if Julia TagBot is installed, or can be done manually through the github interface, or via:

git tag -a v0.1.2 -m "<description of version>" a2e941cf50789e99f2cae9de4f2f5130ac5b91be
git push origin v0.1.2
commented

Registration pull request updated: JuliaRegistries/General/4990

After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.

This will be done automatically if Julia TagBot is installed, or can be done manually through the github interface, or via:

git tag -a v0.1.2 -m "<description of version>" cc64c5261a191e89aa82691475b5186ac2f7c085
git push origin v0.1.2
commented

Registration pull request updated: JuliaRegistries/General/4990

After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.

This will be done automatically if Julia TagBot is installed, or can be done manually through the github interface, or via:

git tag -a v0.1.2 -m "<description of version>" fd4999f83060e0245f9402989f75e6a44a6068aa
git push origin v0.1.2
commented

Error while trying to register: "Tag with name v0.1.2 already exists and points to a different commit"

commented

Error while trying to register: "Tag with name v0.1.2 already exists and points to a different commit"

commented

Registration pull request created: JuliaRegistries/General/62088

After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.

This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:

git tag -a v0.1.3 -m "<description of version>" 30f3eef80725c76c762513fdb91e4d6a305c2e76
git push origin v0.1.3