commit 56bc0208e0c9cd1385addf4d465602511e082b40
Author: forgetest5 <test5@forge.com>
Date:   Mon Aug 2 16:53:34 2021 +0800

    Initial commit

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..a7f34d8
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,4 @@
+# ---> Agda
+*.agdai
+MAlonzo/**
+
diff --git a/LICENSE b/LICENSE
new file mode 100644
index 0000000..781ca0e
--- /dev/null
+++ b/LICENSE
@@ -0,0 +1,49 @@
+Attribution Assurance License Copyright (c) 2002 by AUTHOR PROFESSIONAL IDENTIFICATION
+* URL "PROMOTIONAL SLOGAN FOR AUTHOR'S PROFESSIONAL PRACTICE"
+
+All Rights Reserved ATTRIBUTION ASSURANCE LICENSE (adapted from the original
+BSD license)
+
+Redistribution and use in source and binary forms, with or without modification,
+are permitted provided that the conditions below are met. These conditions
+require a modest attribution to <AUTHOR> (the "Author"), who hopes that its
+promotional value may help justify the thousands of dollars in otherwise billable
+time invested in writing this and other freely available, open-source software.
+
+1. Redistributions of source code, in whole or part and with or without modification
+(the "Code"), must prominently display this GPG-signed text in verifiable
+form.
+
+2. Redistributions of the Code in binary form must be accompanied by this
+GPG-signed text in any documentation and, each time the resulting executable
+program or a program dependent thereon is launched, a prominent display (e.g.,
+splash screen or banner text) of the Author's attribution information, which
+includes:
+
+      (a) Name ("AUTHOR"),
+
+      (b) Professional identification ("PROFESSIONAL IDENTIFICATION"), and
+
+      (c) URL ("URL").
+
+3. Neither the name nor any trademark of the Author may be used to endorse
+or promote products derived from this software without specific prior written
+permission.
+
+4. Users are entirely responsible, to the exclusion of the Author and any
+other persons, for compliance with (1) regulations set by owners or administrators
+of employed equipment, (2) licensing terms of any other software, and (3)
+local regulations regarding use, including those regarding import, export,
+and use of encryption software.
+
+THIS FREE SOFTWARE IS PROVIDED BY THE AUTHOR "AS IS" AND ANY EXPRESS OR IMPLIED
+WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY
+AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
+AUTHOR OR ANY CONTRIBUTOR BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
+EFFECTS OF UNAUTHORIZED OR MALICIOUS NETWORK ACCESS; PROCUREMENT OF SUBSTITUTE
+GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
+HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
+OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH
+DAMAGE.
diff --git a/README.md b/README.md
new file mode 100644
index 0000000..f2979b1
--- /dev/null
+++ b/README.md
@@ -0,0 +1,20 @@
+#### 从命令行创建一个新的仓库
+
+```bash
+touch README.md
+git init
+git add README.md
+git commit -m "first commit"
+git remote add origin http://testgitea2.trustie.net/test4Organize/testchy.git
+git push -u origin master
+
+```
+
+#### 从命令行推送已经创建的仓库
+
+```bash
+git remote add origin http://testgitea2.trustie.net/test4Organize/testchy.git
+git push -u origin master
+
+```
+