Add GitHub action that automatically counts task registrations

[gluckzhang]

I think somehow I didn't push the python script that publishes registration stats to the repo. So I take this opportunity to make some improvement.

After merging this PR, the devops-course will have a GitHub action that automatically updates the issue body about task registrations. In order to do this, two action secrets need to be specified:

For the administrators of this repo, please visit:
https://github.com/KTH/devops-course/settings/secrets/actions

Then create the following repository secrets:

• ASSIGNMENT_STAT_CONTRIBUTIONS_PATH: ./contributions (the path to the contributions folder)
• ASSIGNMENT_STAT_ISSUE_NUMBER: 917 (I have already created this issue)

Now when there is a push event happens in branch 2021, this action will be triggered and the statistics will be updated on the target issue.

[monperrus]

Thanks a lot @gluckzhang

@gluckzhang could we also add a PR status stating the result of this action?

@cesarsotovalero could you review and merge it eventually?

[cesarsotovalero]

Thanks, @gluckzhang 👍

@monperrus let's have some students' tasks registered before merging, so we can see the output of this action.

[gluckzhang]

@gluckzhang could we also add a PR status stating the result of this action?

Hi @monperrus , yes, we can add this action for pull requests. This can be defined in .github/workflows/assignment-statistics.yml:

# Controls when the action will run. 
on:
  # Triggers the workflow on push or pull request events but only for the 2021 branch
  push:
    branches:
    - "2021"
+   pull_request:
+     branches:
+       - "2021"

But I think we will put the result somewhere else because the issue is used to stat all the accepted registrations.

[cesarsotovalero]

@gluckzhang It's time to see your action "in action" 👍

[gluckzhang]

@gluckzhang It's time to see your action "in action"

Haha, yeah, now the action has been registered. Let's wait for Martin to set up the env values :)

[cesarsotovalero]

Hi @monperrus Can you add the repo secrets to get this action running?

[gluckzhang]

Hi @cesarsotovalero , I have set up the rep secrets and the action is working well now :) Thus I deleted the extra comments in the statistic issue to make it neat.