Claim your Aleo Leo contributor badge on GitHub

Are you an enthusiastic contributor to Aleo’s groundbreaking Leo project? If you’ve played a role in developing and expanding this exciting technology, it’s time to claim your well-deserved Leo contributor badge on GitHub. This badge is not just a token of recognition; it’s a symbol of your valuable contributions to the Aleo community. So, let’s get started and make it official.

Push your Leo app to GitHub. To initiate the process of claiming your Leo contributor badge, you’ll need to push your Leo app to GitHub. It’s a straightforward process that involves a series of simple steps.

Initializing a Git repository:

1. Open your terminal window and navigate to your Leo project’s root folder using the cd command. Ensure you are in the correct directory.

cd your-leo-project-folder

2. Initialize your Leo project as a Git repository. By default, the initial branch is named ‘main’.

git init -b main

3. Add the files in your local repository, staging them for the first commit. You can add all files at once using . or individually by specifying file names.

git add .

4. Commit the files you’ve staged in your local repository.

git commit -m "First commit"

Note: At any point, you can check the status of your Git commands with git status.

Leo Developer Toolkit | Welcome to Aleo Documentation

Adding a local repository to GitHub using Git:

1. Create a new repository on GitHub.com. To avoid errors, do not initialize the new repository with README, license, or gitignore files. You can add these files after pushing your project to GitHub.
2. On the GitHub.com repository’s Quick Setup page, copy the remote repository URL.
3. Return to your terminal window and add the GitHub remote repository as the origin. Make sure to paste the URL you copied from GitHub.com. Then, verify the remote repository using git remote -v.

git remote add origin <REMOTE_URL>
git remote -v

4. Push the changes in your local repository to your GitHub repository.

git push -u origin main

Claim your Aleo Leo contributor badge on GitHub

With your Leo project successfully on GitHub, it’s time to claim your contributor badge. Here’s how to do it:

1. Visit the Leo repository on GitHub. Go to Issue tab.

Issues · AleoHQ/leo

2. Click “New issue” in the top right corner.

3. Select “Get started” in the Documentation row.

4. Title your issue: “Add <your_github_username> to contributors."

5. Enter the following information as your issue description:

Hi Aleo team! I'm claiming my contributor badge for completing the New Developer Toolkit tutorial.

Tutorial Repo: <GITHUB_REPO_URL>
Requested badge: <BADGE_TYPE>

• If you created a unique Leo application other than one of the three generated via leo example, e.g., token, lottery, tictactoe, then enter "Content" as your badge type. Otherwise, enter "Tutorial."

6. Click “Submit new issue.”

Once your issue is approved, you will be added to the Contributors section of the Leo README.md file.

Congratulations! 🎉 You are now officially recognized as a valuable Leo contributor. Your expertise and dedication have contributed to the growth and success of Aleo’s Leo project, and the community is stronger thanks to your involvement. Enjoy your well-deserved badge!

To know more, join now!
Aleo X
Aleo Discord
Aleo Website

Prepared by Colliseum