JOJ/JOJ3-config-generator
27
1
Fork 0
Code Issues 1 Pull Requests 1 Actions Packages Projects Releases Wiki Activity

docs: README #23

Open
李衍志523370910113 wants to merge 3 commits from docs/README into master
pull from: docs/README
merge into: JOJ:master
Conversation 4 Commits 3 Files Changed 1 +55 -11
李衍志523370910113 commented 2025-06-11 22:34:26 +08:00
Member
Copy Link
  • update README
    • joj3-config-genrator \to joj3-forge
    • better file tree, although with non-ascii
- update README - `joj3-config-genrator` $\to$ `joj3-forge` - better file tree, although with non-ascii
李衍志523370910113 added 1 commit 2025-06-11 22:34:26 +08:00
docs: README
All checks were successful
build / build (push) Successful in 2m38s
Details
build / trigger-build-image (push) Has been skipped
Details
build / build (pull_request) Successful in 2m10s
Details
build / trigger-build-image (pull_request) Has been skipped
Details
2a6428feec
张泊明518370910136 was assigned by 李衍志523370910113 2025-06-11 22:34:46 +08:00
张泊明518370910136 requested changes 2025-06-11 22:39:37 +08:00
README.md
@ -1,8 +1,12 @@
# JOJ3-config-generator
# JOJ3-forge
张泊明518370910136 commented 2025-06-11 22:37:44 +08:00
Owner
Copy Link

We should change this name after changing repo name.

We should change this name after changing repo name.
README.md Outdated
@ -5,1 +5,4 @@
## Introduction
`JOJ3-forge` is a CLI tool that generates configuration files for ![JOJ3](https://github.com/joint-online-judge/JOJ3).
张泊明518370910136 commented 2025-06-11 22:39:33 +08:00
Owner
Copy Link

I think we should use JOJ3-config-generator here without "`".

I think we should use JOJ3-config-generator here without "`".
README.md Outdated
@ -30,3 +38,4 @@
- a sample directory tree as follows
```shell
$ tree .
张泊明518370910136 commented 2025-06-11 22:38:23 +08:00
Owner
Copy Link

try tree --charset unicode ., ascii characters are better.

try `tree --charset unicode .`, ascii characters are better.
jon-lee marked this conversation as resolved
李衍志523370910113 added 1 commit 2025-06-11 23:01:28 +08:00
docs: remove non-ascii
All checks were successful
build / build (push) Successful in 1m48s
Details
build / trigger-build-image (push) Has been skipped
Details
build / build (pull_request) Successful in 1m59s
Details
build / trigger-build-image (pull_request) Has been skipped
Details
8ebc432999
李衍志523370910113 commented 2025-06-11 23:02:40 +08:00
Author
Member
Copy Link

@bomingzh should we change the repo name right now?

@bomingzh should we change the repo name right now?
李衍志523370910113 added 1 commit 2025-06-11 23:03:40 +08:00
docs: fix typo
All checks were successful
build / build (push) Successful in 2m13s
Details
build / trigger-build-image (push) Has been skipped
Details
build / build (pull_request) Successful in 2m43s
Details
build / trigger-build-image (pull_request) Has been skipped
Details
139eafa644
张泊明518370910136 commented 2025-06-11 23:04:45 +08:00
Owner
Copy Link

@manuel What do you think?

@manuel What do you think?
manuel commented 2025-06-15 17:33:27 +08:00
Owner
Copy Link

@manuel What do you think?

yes, don't forget to edit .git/config afterwards :-D

> @manuel What do you think? yes, don't forget to edit `.git/config` afterwards :-D
张泊明518370910136 commented 2025-06-18 21:03:26 +08:00
Owner
Copy Link

@manuel What do you think?

yes, don't forget to edit .git/config afterwards :-D

We need to rename lots of things if we need to change the project name. Just providing the joj3-forge cli-tool would be easier.

> > @manuel What do you think? > > yes, don't forget to edit `.git/config` afterwards :-D > We need to rename lots of things if we need to change the project name. Just providing the `joj3-forge` cli-tool would be easier.
All checks were successful
build / build (push) Successful in 2m13s
Required
Details
build / trigger-build-image (push) Has been skipped
Details
build / build (pull_request) Successful in 2m43s
Details
build / trigger-build-image (pull_request) Has been skipped
Details
This pull request doesn't have enough approvals yet. 0 of 1 approvals granted.
This branch is out-of-date with the base branch
You are not authorized to merge this pull request.
View command line instructions.

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin docs/README:docs/README
git checkout docs/README
Sign in to join this conversation.
Reviewers
No reviewers
张泊明518370910136
Labels
Clear labels   
bug

Something is not working

  
duplicate

This issue or pull request already exists

  
enhancement

New feature

  
help wanted

Need some help

  
invalid

Something is wrong

  
question

More information is needed

  
wontfix

This won't be fixed

No Label
bug
duplicate
enhancement
help wanted
invalid
question
wontfix
Milestone
Clear milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
No Assignees
张泊明518370910136
3 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: JOJ/JOJ3-config-generator#23
No description provided.
Delete Branch "docs/README"

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?