Labels Milestones

fix: reverted a style change and fixed a deploy issue #9

Merged

aziis98 merged 1 commits from dev into main 2 years ago

Conversation 0 Commits 1 Files Changed 2

aziis98 commented 2 years ago

Owner

There is no content yet.

aziis98 merged commit 7d16c96c61 into main 2 years ago

aziis98 referenced this issue from a commit 2 years ago

Merge pull request 'fix: reverted a style change and fixed a deploy issue' (#9) from dev into main

The pull request has been merged as 7d16c96c61.

You can also view command line instructions.

Step 1:

From your project repository, check out a new branch and test the changes.

git checkout -b dev main

git pull origin dev

Step 2:

Merge the changes and update on Gitea.

git checkout main

git merge --no-ff dev

git push origin main

Sign in to join this conversation.

Reviewers

Request review

No reviewers

Labels

Apply labels

Clear labels

No items

No Label

Milestone

Set milestone

Clear milestone

No items

No Milestone

Projects

Set Project

Clear projects

No project

Assignees

Assign users

Clear assignees

No Assignees

1 Participants

Notifications

Subscribe

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: phc/problemi#9

Write Preview

Loading…

Cancel

Save

There is no content yet.