Gitify resources1/8/2024 ![]() ![]() Merge - after a pull request is approved, the commit will be pulled in (or merged) from one branch to another and then, deployed on the live site.Allows multiple users to see, discuss and review work being suggested. Pull Request (PR) - a request for changes made to a branch to be pulled into another branch.Commit Changes - a saved record of a change made to a file within the repo.Markdown (.md) - a way to write content that converts plain text to formatted text.It is used to suggest changes to an “upstream” public repo by someone who doesn’t have access to edit in the repo’s home org. Fork - a new repository that inherits from a parent “upstream” repo.Repos may have many branches for different possible changes being tested or considered, along with a default branch that serves as the source of truth. Branch - a version of the repo that allows work without affecting other branches.Repository (repo) - a folder in which all files and their version histories are stored.Organization (org) - a grouping mechanism allowing teams to collaborate across many projects at once.GitHub - one of many web interfaces for using Git.Git - a tool that allows developers and others to use version control.There are some common terms teams will need to understand when using GitHub. Non-developers can also use it to create, edit, and update website content, which Carpenter demonstrates in her tutorial. With GitHub, developers can build code, track changes, and innovate solutions to problems that might arise during the site development process simultaneously. GitHub allows multiple developers to work on a single project at the same time, reduces the risk of duplicative or conflicting work, and can help decrease production time. As Carpenter notes, because it allows for real-time collaboration, GitHub encourages teams to work together to build and edit their site content. However, there was less agreement on whether the requirements and workflows were adequately explained.The reported difficulties will serve as a basis for further Git workflow optimisation in ParlaMint.GitHub is a web-based interface that uses Git, the open source version control software that lets multiple people make separate changes to web pages at the same time. On the other hand, reactions to Git were very positive in terms of information and feedback received via GitHub Issues, effectiveness in the communication process, and plans to use Git in the future. Some partners also expressed doubts about whether the current scheme is flexible enough to support encoding the unique features of sometimes drastically different parliamentary systems. Overall, participants were mostly positive about their experiencewith TEI and Git, although some difficulties were reported. The paper also presents the results of a survey on the use of TEI and Git in the ParlaMint projects among the project participants. Apart from revision control, issues, and publishing documentation, the GitHub platform also supports integrating code execution with pull requests, which significantly automates the data submission process. We motivate and explain using Git to develop and maintain the encoding schemas, validation and conversion scripts and valid samples of the corpora. We introduce the use of TEI ODD for the encoding guidelines and validation schemas. ![]() ![]() It focuses on the ParlaMint encoding and the GitHub development platform and the evaluation of their use by project partners. This paper discusses the encoding, validation and development of language resources of the completed ParlaMint I and on-going ParlaMint II CLARIN projects, which centre on the collaborative development of a large set of interoperable corpora of parliamentary proceedings. Development of language resources, TEI, Git, Parliamentary corpora Abstract ![]()
0 Comments
Leave a Reply.AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |