infrastructure/gitea-custom
1
2
Fork 5
Code Pull Requests 1 Activity

merging develop into main #5

Closed
Dalai Felinto wants to merge 0 commits from develop into main
pull from: develop
merge into: infrastructure:main

When changing the target branch, be careful to rebase the branch in your fork to match. See documentation.
Conversation 1 Commits - Files Changed - +21 -26
Dalai Felinto commented 2023-08-24 16:29:50 +02:00
Owner
Copy Link

Note that technically 611e7e835f was already in main.

Note that technically `611e7e835f` was already in main.
Dalai Felinto added 3 commits 2023-08-24 16:29:51 +02:00 
gitea 1.20 did some changes to the navbar and header-wrapper.
This commit restores the default look of this theme for gitea 1.20

See: https://github.com/go-gitea/gitea/pull/25111

Reviewed-on: #3
Dalai Felinto closed this pull request 2023-08-24 16:31:38 +02:00
Dalai Felinto commented 2023-08-24 16:32:05 +02:00
Author
Owner
Copy Link

Closing this since 611e7e835f is actually being merged twice. I will handle this via command-line

Closing this since `611e7e835f` is actually being merged twice. I will handle this via command-line

Pull request closed

Please reopen this pull request to perform a merge.
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels
No items
No Label
Milestone
Clear milestone
No items
No Milestone
Assignees
Clear assignees
No Assignees
1 Participants
Notifications
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: infrastructure/gitea-custom#5
No description provided.
Delete Branch "develop"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?