Things I Learned in Computer Science (tilics)

This is the collaborative repository for seminar 54858-01 in fall 2024.

See the directory 2019 for the content produced by the same seminar in spring 2019. The result of that seminar is available on the Department's web site at https://tilics.dmi.unibas.ch/start.

---

TILICS 2024

This is the organisation space for 2024 seminar course.

Repository Structure

• Task Force 2024
• Use GitHub Discussion for organisational matter.
  • 💡 You can tag people to notify them to participate in discussion.

For Authors

How to create a pull request

Step 1 : Clone the repository

Clone the repository to your local machine:

git clone https://github.com/unibas-tilics/tilics.git

Step 2 : Create a new branch

Run the following command to create and switch to a new branch:

git checkout -b <new-branch-name>

Step 3 : Add your article

1. Create a folder in the 2024 directory with the same name as your topic (e.g. /2024/rices_theorem).

2. Create a Markdown file (exactly named article.md) (e.g. /2024/rices_theorem/article.md).

   • 💡 Please use the template below. The format is required for making the document more machine-readable.

       # Put your title here as a first-level header (use `#` sign)
       
       Put your article's text in Markdown here.
       Text before the first second-level header (## Authors) will be included in the final PDF.
   
       ## Authors
       Any text after the first second-level header won't be included in the final PDF. This is useful for adding metadata, such as author information.
       - Alice
       - Bob

   • Don't link the illustration image in the markdown file. Instead, put your illustration (exactly named illustration.svg) to your article directory (e.g. at /2024/rices_theorem/illustration.svg).

   • Commit and push to your previously created branch.

Step 4 : Open a pull request

Create a pull request from your branch against the master branch. Therefore, please click on New Pull Request button and add the description of the pull request.

Watch the video tutorial

For Quality Team

How to use labels for tagging?

Step 1: Go to the Pull Request

• Click on the "Pull requests" tab at the top of the page.
• Select the specific pull request you want to review.

Step 2: Locate the Labels Section

• On the right-hand side of the pull request page, you will see a section labeled Labels.

• Add a Label:

  • Click on the Labels dropdown.
  • A list of available labels will appear. You can choose the appropriate label.
  • Click on the desired label(s) to apply them to the pull request.

• Confirm the Label:

  • Once the label(s) is added, it will appear on the right side of the pull request, indicating that the label has been successfully applied.

Currently available labels are as follows:

How to merge pull request?

Step 1 : Review

• In order to be merged, the pull request requires two approvals from the Quality Team.
• Reviewers can add comments in the pull request's comment thread if something should be changed. When editing your article, simply commit and push the changes to your branch, they are automatically added to the pull request.

Step 2 : Merge

• If everything is ok, the pull request can be merged. Be sure to choose the Squash and Merge merge option.