Leverage GitHub actions

[damithc]

Example: https://github.com/marketplace/actions/jekyll-action

Perhaps we can provide an action to deploy a MarkBind site to gh-pages?

[le0tan]

It should be rather straight-forward to create an action similar to this. Is this issue still under discussion? (i.e. can we start working on it?)

[damithc]

@le0tan you can give it a try and let's see how it goes.

[le0tan]

This is my approach.

[damithc]

From the user's POV, what needs to be done? i.e., how does this feature looks to the user when released?

[le0tan]

From the user's POV, what needs to be done? i.e., how does this feature looks to the user when released?

I updated the readme here.

[damithc]

Just curious: can GitHub action access attributes of the PR that triggered it? e.g., PR number, labels, etc.

[le0tan]

Just curious: can GitHub action access attributes of the PR that triggered it? e.g., PR number, labels, etc.

It has access to the Git ref that triggers the action according to here. See github.head_ref and github.base_ref.

[damithc]

@le0tan any chance your work can be resumed? We can host the action in a repo inside the markbind org.

[le0tan]

@damithc the action is actually working as expected, sample repo here

Action page for that repo

Built page

Update: created the repo in MarkBind org, can someone accept the agreement so that we can publish the action?

[damithc]

@damithc the action is actually working as expected, sample repo here

Nice.

Update: created the repo in MarkBind org, can someone accept the agreement so that we can publish the action?

While we figure out how to do that, can you create a PR to update the user guide?

[damithc]

Update: created the repo in MarkBind org, can someone accept the agreement so that we can publish the action?

Done.