Collaborative Teams?

Stream: PhysLean

[Joseph Tooby-Smith]

What would people think about setting up collaborative teams with specific goals for the project?

For example:

• A documentation team: Who's goal is to improve the documentation and organization of the project.
• An on-boarding team: Who's goal is to help on-board members and improve the on-boarding process.

The idea would be that these teams would be 'led' by someone other than myself. Maybe we are not at the capacity where this is will work, but I think it might be a good way to broaden responsibility and ownership for the project. If this is something you'd be interested in helping set up - let me know.

[Shlok Vaibhav]

I can help with documentation working under someone's guidance. I am new to lean and open source and I think documentation can help me learn faster about the project and language.

[Joseph Tooby-Smith]

Nice @Shlok Vaibhav ! Let us wait a bit to see if anyone else expresses an interest in this and go from there :).

[Daniel Morrison]

I'd also be interested in documentation

[ZhiKai Pong]

I'm kind of busy over the summer, but if there's anything that I can contribute to the on-boarding process I would be very happy to help out. Do you have any specific direction/tasks in mind at the moment? If not, I can also think about what can be done in the spirit of #PhysLean > What would be useful for a beginners guide to PhysLean. As a beginner in all of lean, rigorous mathematics and physics, I feel like my perspective is somewhat useful for this :)

[Joseph Tooby-Smith]

I don't have something specific in mind, but at some point I would be very much interested in a PhysLean game being made, but I think anything in this direction would be great, and in general any ways to bring more people into the project as easy as possible.

@Afiq Hatta may also be interested here.

[Afiq Hatta]

the Lean number theory game so far has been the most useful / motivating for me to learn, so fully agree

[Joseph Tooby-Smith]

(I moved some of the conversation here to #PhysLean > Documentation discussion )

[Afiq Hatta]

Hey folks so I'll be hosting an intro to physlean google meet with my independent science discord group on Tuesday 1pm BST

[Afiq Hatta]

Next week. Will put the link here if anyone wants to join. I'm just going to be covering installation and the Lean game to get started!!!

[Joseph Tooby-Smith]

For the On-boarding stuff, as part of this, let me add, I would very happy to see PR's to the website repo: https://github.com/HEPLean/PhysLean_Website, updating and improving the material there.

Maybe we could also add the 'teams' discussed here to the website, if people think this is a good idea?

[Joseph Tooby-Smith]

Something that may also help us with on-boarding, might be a FAQ page on the website?

[Daniel Morrison]

I was also thinking it would be good to add to the contributing file in the GitHub with maybe some style guide suggestions and like that code you showed me to run the linters locally. Would probably help with people doing their first PRs.

[Joseph Tooby-Smith]

@Daniel Morrison Do you think people check the contributing file over e.g. the website?

[Daniel Morrison]

I suggested the contributing file because when I was making a PR Github pointed me to that file specifically, but putting style guidelines on the website would also work.

[Joseph Tooby-Smith]

Ah nice! Ok, this is good to know. On every PR we used to have a 'checklist' type thing, see e.g. here automatically posted. I'm sure there is a way to do this only for people submitting a PR for the first time - which may be another option to follow.

[Joseph Tooby-Smith]

So parts of this conversation don't get lost, I've created a GitHub issue here for the actionable points.

One thing that @ZhiKai Pong mentioned here: #PhysLean > What would be useful for a beginners guide to PhysLean @ 💬 , and which also came up in @Afiq Hatta 's meeting for his discord group, is instructions of using GitHub in conjunction with PhysLean i.e. how to clone, fork etc. @ZhiKai Pong or @Afiq Hatta would either of you be keen on writing something for the PhysLean website along those lines?

[Afiq Hatta]

yeah would be keen - again @Joseph Tooby-Smith i think a big thing we learnt from that talk is that doing the fork, commit, pull request cycle was a stumbling block for the pure physics folks

[Afiq Hatta]

where can i contribute this to the website?

[Joseph Tooby-Smith]

Hey, nice! The website (at least this static part of it) is hosted in this github repo: https://github.com/HEPLean/PhysLean_Website, and contribute in the same way as the main PhysLean repo.