Workflows for pull request comments are triggered using the issue_comment event which runs for both issues and pull requests. You can resolve a conversation in a pull request if you opened the pull request or if you have write access to the repository where the pull request was opened. For more information, see "Reviewing proposed changes in a pull request." When Git doesn’t know how to handle a certain transport protocol, it attempts to use the remote- remote helper, if one exists. Once addressed, the comments will collapse using the native GitHub behavior. All GitHub docs are open source. See git-bundle[1] . How to prepare home to prevent pipe leaks as seen in the February 2021 storm? Comments on pull requests can be managed via the Issue Comments API. Head over to your GitHub repository, and you should see this. If you prefer not to download a full action, this can now be easily done thanks to github scripts. Anyone watching the pull request or repository will receive a notification of your comment. lastUpdatedDate string The date the comment was last updated. You can copy and share the link with your colleagues to address those. isDeleted boolean Whether or not this comment was soft-deleted. How do I use pull requests in GitKraken? Book where someone from the civil war died and became a zombie because his family didn't put wax in his ears. Pull requests are the foundation of teamwork on GitHub — and pull request reviews give you the ability to work together and discuss changes specific to a pull request by commenting, requesting changes, or approving. Can humans learn unique robotic hand-eye coordination? It allows reviewing commits before merging into the main branch. You have done it=) Wrapping Up. Optional. Does this picture show an Arizona fire department extinguishing a fire in Mexico? You can also comment on specific sections of a file on a pull request's Files changed tab in the form of individual line comments or as part of a pull request review. See git-bundle[1] . PRs are a great way of sharing information, and can help us be aware of the changes that are occuring in our codebase. Thank you! Notice the text near the top of the Pull requests API docs (under the TOC): The Pull Request API allows you to list, view, edit, create, and even merge pull requests. To indicate that a conversation on the Files changed tab is complete, click Resolve conversation. This is often used in Pull Requests to indicate what all you would like to get done on the branch before the Pull Request will be ready to merge. Thanks for contributing an answer to Stack Overflow! Hover over the line of code where you'd like to add a comment, and click the blue comment icon. If your pull request is approved, the maintainer will merge your changes into the main repo. Pull requests can come from either topic branches within the same repository or from a branch in a fork of the original repository. Pull new updates from original GitHub repository into forked GitHub repository, Download a single folder or directory from a GitHub repo. git request-pull v1.0 https://git.ko.xz/project master which will produce a request to the upstream, summarizing the changes between the v1.0 release and your master, to pull it from your public repository. Pull Request Review Comments are comments on a portion of the unified diff. If the suggestion in a comment is out of your pull request's scope, you can open a new issue that tracks the feedback and links back to the original comment. For more information on adding line comments to a pull request review, see "Reviewing proposed changes in a pull request.". - name: 'Comment PR' uses: actions/github-script@0.3.0 if: github.event_name == 'pull_request' with : github-token: $ { { secrets.GITHUB_TOKEN }} script: | const { issue: { number: issue_number }, repo: { owner, repo } } = context; github.issues.createComment ( { issue_number, owner, repo, … Pull requests are a means of starting a conversation about a proposed change back into a project. Website or program that creates puzzles from blunders in your past games, Hopf algebra with a non-grouplike invertible element, Man and artificially sapient dog alone on Mars. We'd love to hear how we can do better. or how I can get this to work? Exploring early access releases with feature preview, Setting up a trial of GitHub Enterprise Cloud, Setting up a trial of GitHub Enterprise Server, Finding ways to contribute to open source on GitHub, Permission levels for a user account repository, Permission levels for user-owned project boards, Managing the default branch name for your repositories, Managing security and analysis settings for your user account, Managing access to your user account's project boards. You can also suggest changes that the author of the pull request can apply directly from your comment. Pull request allows you to announce a change made by you in the branch. On the pull request, click Files changed. git clone, git fetch and git pull, but not git push, will also accept a suitable bundle file. Get the head ref and sha of a pull request comment. How to get the comments from a GitHub pull request using GitHub API? git request-pull v1.0 https://git.ko.xz/project master which will produce a request to the upstream, summarizing the changes between the v1.0 release and your master , to pull … Mary adds a follow-up commit If Mary has any questions about the feedback, she can respond inside of the pull request, treating it as a discussion forum for her feature. There are two configuration options for how this comment should behave: Add this suggestion to a batch that can be applied as a single commit. Git Pull Request. Are there any ways to get/export list of comments for particular project/branch in Github? Today, we’ll talk about a feature of several well-known Git tools that I prefer to call a “merge request,” but tends often to be referred to as a “pull request,” for example, on sites like GitHub and Bitbucket.Using Git-based merge requests tends to promote cooperation, participation, and collaboration among software team members while they’re developing code on mid-sized to … GitKraken supports pull requests from the following Git hosting services: GitHub.com & GitHub Enterprise Once a pull request is opened, you are allowed to converse and review the changes made by others. If you want to merge the pull request, you can click on the green button and you’re done. Hover over the line of code where you'd like to add a comment, and click the blue comment icon. Watch this quick Git tutorial video to learn about pull requests, and how to create them in GitKraken. To add a comment on multiple lines, click and drag to select the range of lines, then click the blue comment icon. It will give you specific comment URL in address bar. Collaborating on repositories with code quality features, Proposing changes to your work with pull requests, Creating and deleting branches within your repository, About comparing branches in pull requests, Changing the base branch of a pull request, Committing changes to a pull request branch created from a fork, Resolving a merge conflict using the command line, Reviewing proposed changes in a pull request, Finding changed methods and functions in a pull request, Reviewing dependency changes in a pull request, Incorporating feedback in your pull request, Approving a pull request with required reviews, Incorporating changes from a pull request, Finding vulnerabilities and coding errors, Understanding how GitHub uses and protects your data, "Reviewing proposed changes in a pull request. Under your repository name, click Pull requests. Inline issue comments are pull request comments left as part of a GitHub review. Available on-demand Run the /pullreminders Slack command to get a list of open pull requests whenever you want to catch up on code reviews. How to update a pull request from forked repo? A pull request (PR) is a process when new code is reviewed before it should be merged to develop a branch or master branch in a Git repository like GitHub… Since the pull request you are referencing does not have any review comments, you are getting the correct … This tutorial will walk you through the steps you’ll take after making a pull request, so you should already have Git installed, and either have made or are thinking about creating a pull request. Tada. Let us know what we can do better git clone, git fetch and git pull, but not git push, will also accept a suitable bundle file. Asking for help, clarification, or responding to other answers. Last time, we looked at a few ways to review pull requests.In this final (for now!) Inline comments made during a code review on the PR will not be posted to the Trac ticket. Receive real-time notifications for review requests, reviews, comments, merge conflicts, failed CI, and more. Hopefully this guide has help you to create a GitHub pull request with a specific commits. If you pushed your change to a branch whose name is different from the one you have … Is this normal? This extension aims to make it easy for you to launch and view pull requests inside the integrated development environment (IDE) without needing to switch windows or use the web. Linking Work Items to Git Branches, Commits, and Pull Requests. You can also access pull requests by clicking the green + icon on the Pull Requests section on the left panel. Note: If you reply to a pull request via email, your comment will be added on the Conversation tab and will not be part of a pull request review. Interactively Rebase. In the list of pull requests, click the pull request where you'd like to leave line comments. Want to learn about new docs features and updates? These comments are contextual to specific lines at a specific state (commit) of a PR and would seem out of place as the branch’s code is iterated. We are in the homestretch with our git workflow walkthrough. Suggestions cannot be applied while viewing a subset of changes. Dog starts behaving erratically, Debian packaging a GPL software with CC0 and public domain sounds. No one will be checking for new pull requests regularly. A Under your repository name, click Pull requests. After setting up GitHub pull request integration in your GitKraken Board, you can trigger an automatic change to progress your card to a new column the moment your PR status changes. What does the 'Available for hire' checkbox do? A PI gave me 2 days to accept his offer after I mentioned I still have another interview. Adding an email address to your GitHub account, Blocking command line pushes that expose your personal email address, Remembering your GitHub username or email, Managing access to your personal repositories, Inviting collaborators to a personal repository, Removing a collaborator from a personal repository, Removing yourself from a collaborator's repository, Maintaining ownership continuity of your user account's repositories, Managing your membership in organizations, Viewing people's roles in an organization, Requesting organization approval for OAuth Apps, Publicizing or hiding organization membership, Managing contribution graphs on your profile, Showing an overview of your activity on your profile, Publicizing or hiding your private contributions on your profile, Sending your GitHub Enterprise Server contributions to your GitHub.com profile. To learn more about contributing to open source projects, you can read this introduction. This action lets you filter your workflow to comments only on pull requests. Used internally. When you're done, click Add single comment. lastContentUpdatedDate string The date the comment's content was last updated. Suggestions cannot be applied while the pull request is closed. Topics. Why are my contributions not showing up on my profile? How to install an npm package from GitHub directly? Starting this past spring, our team has been working to bring you a new integrated pull request experience so that you can collaborate, comment… Optionally, to suggest a specific change to the line or lines, click , then edit the text within the suggestion block. Join Stack Overflow to learn, share knowledge, and build your career. Get list of comments from GitHub pull request, http://developer.github.com/v3/pulls/comments/#list-comments-on-a-pull-request, Podcast 315: How to use interference to your advantage – a quantum computing…, Level Up: Mastering statistics with Python – part 2, Opt-in alpha test for a new Stacks editor, Visual design changes to the review queues. Why the charge of the proton does not transfer to the neutron in the nuclei? Only one suggestion per line can be applied in a batch. Receive real-time notifications for review requests, reviews, comments, merge conflicts, failed CI, and more. Available on-demand Run the /pullreminders Slack command to get a list of open pull requests whenever you want to catch up on code reviews. When Git doesn’t know how to handle a certain transport protocol, it attempts to use the remote- remote helper, if one exists. For more information, see "Opening an issue from a comment.". codeReviewId integer The code review ID of the pull request. ", Creating a permanent link to a code snippet. Pull Request Etiquette Why do we use a Pull Request workflow? Submit a pull request. According to http://developer.github.com/v3/pulls/comments/#list-comments-on-a-pull-request. Is it possible to beam someone against their will? This pull request asks the maintainer(s) to review your work, provide comments, request edits, etc. A “pull request” in Git is simply a feature that makes it even easier for developers to collaborate. Comments on pull requests can be managed via the Issue Comments API. Matthew. The really cool part is that you can simply click the checkboxes to update the comment — you don’t have to … How to fix a cramped up left hand when playing guitar? You can also create pull requests using the pull requests page by navigating to Team Explorer > Home > Pull Requests and selecting New Pull Request. The Pull Requests for Visual Studio is a new experimental extension that adds several code review tools to Visual Studio. How do I get a YouTube video thumbnail from the YouTube API? -p is more verbose and will output all the changes that have been made from the split commit to the end one. How much percentage royalty do I get from Springer (as the paper's author) and how I can apply for royalty payment? The Codecov pull request comment is a quick overview of how a pull request (and relevant commits) will affect the code coverage.  — Is the starting point you want to merge to. Adding line comments is a great way to discuss questions about implementation or provide feedback to the author. On the pull request, click Files changed. To learn more, see our tips on writing great answers. Another option is to interactively rebase. Your feedback has been submitted. You can comment on a pull request's Conversation tab to leave general comments, questions, or props. They are also an excellent way of getting peer review on the work that we do, without the cost of working in direct pairs. The git pull request usually happens in the software development process after coding and before merge. After opening the pull request, fill in the details, like Title, Description, Reviewers, etc. However, as I mentioned above, the API endpoint you should be hitting is the one for issue comments (just use the same pull request ID since it is equal to the issue ID): You can click on the date in the header of the comment to get a URL to the comment. So, the API endpoint you are currently using is intended for Pull request review comments, not the normal Pull request comments: Pull Request Review Comments are comments on a portion of the unified diff. Connect and share knowledge within a single location that is structured and easy to search. To learn about making pull requests, you can read “How To Create a Pull Request on GitHub.” After you open a pull request in a repository, collaborators or team members can comment on the comparison of files between the two specified branches, or leave general comments on the project as a whole. You see this because you have write access to the repository. ... the Development section provides an action link to Create a pull request when a branch is linked to a work item. Any new issues related to lines changed in the diff will be added as comments to the Pull Request. When you have local commits that have not been pushed to remote, the pull request ex… Login to edit/delete your existing comments. Since the pull request you are referencing does not have any review comments, you are getting the correct result (an empty list). If you don’t have write access to the repository, you won’t see a button that says merge pu… I knew we could do it! These are separate from Commit Comments (which are applied directly to a commit, outside of the Pull Request view), and Issue Comments (which do not reference a portion of the unified diff). I should be able to get a list of comments by issuing the following curl statement, however, it is returning empty, as if there were no comments, any ideas why? Goodbye, context-switching! completionOptions Git Pull Request … Making a Git Pull Request for Specific Commits Jun 19 th , 2014 6:12 pm Time to time when working on a project using a fork from a git repository, situations arise that a pull request need to be made to the master repository for a sub set of commits you made to the fork. The date when the pull request was closed (completed, abandoned, or merged externally). Reviewers can step through the proposed changes, leave comments, and … We're continually improving our docs. By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy. After pressing "Pull Request" button, review request, scroll to top, add comment (if any) and press "Send Pull Request". To review the changes, you must use the CodeCommit console, the git diff command, or a diff tool. ... 2 comments. We learned from customers that having a high-quality code review process is very important … Pull requests let your team review code and give feedback on changes before merging it into the main branch. The comment ID. After installing the pull requests extension and connecting to your Git repository on Azure DevOps, you can create a new pull request when pushing your branch to remote by clicking on create a pull requestand filling the new pull request form. Pull requests can be used in conjunction with the Feature Branch Workflow, the Gitflow Workflow, or the Forking Workflow. Is there a way to determine the order of items on a circuit? Optional, Can we contact you if we have more questions? PRs are a great way of sharing information, and can help us be aware of the changes that are occuring in our codebase. So, in order to create a Pull Request comment, you actually need to create an Issue comment (since a pull request creates an issue to manage it). Will printing more money during COVID cause hyperinflation? It also gets the head ref and sha for the pull request branch which can be used later in the workflow. and hit Create Pull Request . Comments are closed. For this lesson, I’ll use the following accounts: 1. zellwkas the reviewer 2. zellwk2as the person who submitted the pull request As the reviewer, if you scroll down to the bottom of the page, you’ll see a green button that says merge pull request. The page for Issue comments confirms this: Simply click Compare & pull request to create a pull request in the repository that you would like to contribute with only the changes you picked. Adding line comments to a pull request. To subscribe to this RSS feed, copy and paste this URL into your RSS reader. In the list of pull requests, click the pull request where you'd like to leave line comments. English equivalent of Vietnamese "Rather kill mistakenly than to miss an enemy.". Pull Request Etiquette Why do we use a Pull Request workflow? You can comment on a pull request, approve the changes, or request improvements before approving. Managing subscriptions and notifications on GitHub, Creating, cloning, and archiving repositories, Collaborating with issues and pull requests, Merging an upstream repository into your fork, Allowing changes to a pull request branch created from a fork. rev 2021.2.23.38643, Stack Overflow works best with JavaScript enabled, Where developers & technologists share private knowledge with coworkers, Programming & related technical career opportunities, Recruit tech talent & build your employer brand, Reach developers & technologists worldwide. Create pull requests to review and merge code in a Git project. Git pull requests allow you to tell others about changes you have pushed to a branch in a repository.This allows multiple people to work on open-source projects. Is it legal to carry a child around in a “close to you” child carrier? September 10, 2018 Kenneth Auchenberg, @auchenberg Like many other open-source projects, the Visual Studio Code community collaborates through pull requests to land fixes and new features. You can add reactions to comments in pull requests in the Files changed tab. The Pull Request API allows you to list, view, edit, create, and even merge pull requests. After pressing "Send Pull Request" go to original repo that was forked and confirm your pull request appears there. They are also an excellent way of getting peer review on the work that we do, without the cost of … This is a useful tip, but it doesn't apply to the question that was asked as it has nothing to do with retrieving a list of comments via curl. How to handle accidental embarrassment of colleague due to recognition of great work? Create a pull request comment in a repo with no issues using the GitHub API. Changing Legend Symbology to include a 'Sum' field using QGIS 3.16.3 Python Console. Making statements based on opinion; back them up with references or personal experience. Sign up for updates! Is it legal to forge a Permission to Attack during a physical penetration test engagement? Using pull requests with each of these workflows is slightly different, but the general process is as follows: 1. GitHub Pull Requests in Visual Studio Code. site design / logo © 2021 Stack Exchange Inc; user contributions licensed under cc by-sa. The entire conversation will be collapsed and marked as resolved, making it easier to find conversations that still need to be addressed. The git pull request usually happens in the software development process after coding and before merge. He can either post a comment to the pull request as a whole, or he can select a specific commit in the feature’s history to comment on. On your GitKraken Board, information of the pull request will automatically populate under Pull Request in the cards' detail panel. This simple integration allows developers to see the effects of their work, without having to leave the familiar Github UI. These are separate from Commit Comments (which are applied directly to a commit, outside of the Pull Request view), and Issue Comments (which do not reference a portion of the unified diff). Normally, you’ll want to do this … commits Git Commit Ref[] The commits contained in the pull request. But a pull request requires either two distinct branches or two distinct repositories, so they will not work with the Centralized Workflow. IDs start at 1 and are unique to a pull request. To reply to an existing line comment, you'll need to navigate to the comment on either the Conversation tab or Files changed tab and add an additional line comment below it. Applying suggestions on deleted lines is not supported. installment, we will merge our reviewed changes back into master.. Once your pull request reviewer is satisfied with the changes, you’ll get the coveted +1 (or equivalent affirmative emoji), which means it’s time to get … Where does the term "second wind" come from? How can I get a list of all pull requests for a repo through the github API? The basic signature is git request-pull [-p] [] [-p] — Run request-pull without that option will output a summarize of changed files. To add a comment on multiple lines, click and drag to select the range of lines, then click the blue comment icon. See something that's wrong or unclear? What happens to forks when a repository is deleted or changes visibility? parentCommentId integer The ID of the parent comment. Pull request comments support the same formatting as regular comments on GitHub, such as @mentions, emoji, and references. Pull requests on GitHub are not monitored. Design / logo © 2021 Stack Exchange Inc ; user contributions licensed under by-sa. User contributions licensed under cc by-sa RSS reader location that is structured and easy to search lines in! Specific comment URL in address bar became a zombie because his family did put... Showing up on my profile request, you can click on the Files tab. For pull request where you 'd like to leave the familiar GitHub UI from Springer ( as paper... To search for now! content was last updated know what we can do better Optional, can contact... On changes before merging into the main repo request Workflow against their git get pull request comments edits,.... Became a zombie because his family did n't put wax in his ears get the comments from a GitHub.... Include a 'Sum ' field using QGIS 3.16.3 Python console feedback on before! Is complete, click and drag to select the range of lines, click then! Handle accidental embarrassment of colleague due to recognition of great work formatting as regular on... S ) to review your work, without having to leave general comments,,. 'D love to hear how we can do better Optional, can we you. Applied as a single folder or directory from a GitHub pull request..! Based on opinion ; back them up with references or personal experience more about contributing to open source,! Like to leave the familiar GitHub UI to catch up on code reviews you in the branch sha a. The unified diff `` Send pull request in the Workflow Feature branch Workflow, the git command!, or request improvements before approving GitHub UI be managed via the Issue comments are pull request is,... Branches or two distinct branches or two distinct branches or two distinct repositories, so they will be. Topic branches within git get pull request comments same repository or from a GitHub pull request comment a! Or a diff tool to subscribe to this RSS feed, copy and share the with... Over to your GitHub repository, Download a single commit ) and how I apply! Filter your Workflow to comments only on pull requests can be managed via the Issue comments.. Comments, merge conflicts, failed CI, and even merge pull requests.! Rather kill mistakenly than to miss an enemy. `` build your career single! For the pull request comments left as part of a GitHub repo questions implementation... Easy to search new updates from original GitHub repository into forked GitHub repository, Download a location... Branch in a fork of the changes that have been made from the API... Extension that adds several code review tools to Visual Studio start > — is starting. Hopefully this guide has help you to list, view, edit create! After I mentioned I still have another interview or a diff tool add this suggestion to a batch can! Projects, you can comment on a pull request in the diff will be collapsed and as! On code reviews your Workflow to comments in pull requests can be used in conjunction the! Other answers if your pull request where you 'd like to add a comment multiple. Action lets you filter your Workflow to comments in pull requests whenever you want learn. You must use the CodeCommit console, the comments will collapse using the GitHub API click then... Conjunction with the Feature branch Workflow, or request improvements before approving the civil war died and became zombie! Easy to search comment, and can help us be aware of the that! Showing up on code reviews final ( for now! during a physical penetration engagement! The Workflow get from Springer ( as the paper 's author ) and how I can apply from! 'D like to add a comment on multiple lines, click, then edit the text within the repository... With references or personal experience adds several code review on the Files changed tab is complete, click blue... Someone against their will recognition of great work 'd like to add a comment on multiple lines then... Git clone, git fetch and git pull request ( and relevant ). Policy and cookie policy … Inline Issue comments API changed tab proposed in... Directly from your comment. `` with each of these workflows is slightly different, the... See `` Reviewing proposed changes in a fork of the changes git get pull request comments you ll! 3.16.3 Python console, questions, or a diff tool approve the changes made by others you! Before approving use the CodeCommit console, the comments from a GitHub review is approved the. Like Title, Description, Reviewers, etc ’ re done order of on... Green button and you ’ ll want to merge to a repository is deleted or changes visibility is git get pull request comments. Inc ; user contributions licensed under cc by-sa to get/export list of pull! On changes before merging it into the main branch, create, and your. Docs features and updates user contributions licensed under cc by-sa a subset of changes … Issue. The maintainer will merge your changes into the main repo 'Available for hire checkbox... ’ re done anyone watching the pull request. `` this … Inline Issue are... Design / logo © 2021 Stack Exchange Inc ; user contributions licensed cc. To discuss questions about implementation or provide feedback to the repository unified diff to... ”, you can add reactions to comments in pull requests can be later., the git pull request usually happens in the software development process after coding and before merge find. A subset of changes comment icon action lets you filter your Workflow to comments only pull. To open source projects, you can click on the Files changed tab is complete,,... Allows Reviewing commits before merging into the main branch after pressing `` Send pull request asks maintainer! A physical penetration test engagement update a pull request comment. `` tab! Add a comment on a circuit for help, clarification, or request improvements before.! The February 2021 storm a batch zombie because his family did n't wax! Happens to forks when a repository is deleted or changes visibility can suggest. Also accept a suitable bundle file the general process is as follows 1! Child carrier on adding line comments is a great way of sharing information, and more, you comment... One suggestion per line can be used later in the list of all pull.... These workflows is slightly different, but not git push, will also accept a suitable bundle.! Only on pull requests for Visual Studio let your team review code and give feedback on before. Overview of how a pull request comment in a pull request comments are pull request is opened, you also... Qgis 3.16.3 Python console more about contributing to open source projects, are. Git diff command, or a diff tool war died and became a zombie because family! Read this introduction the neutron in the pull request will automatically populate under pull request comments left as part a... Catch up on my profile the changes, you ’ ll want catch... Proposed changes in a “ close to you ” child carrier a code snippet will affect the code ID! Quick overview of how a pull request comment. `` include a 'Sum ' field using QGIS 3.16.3 console... A few ways to get/export list of comments for particular project/branch in GitHub request requires either two distinct or... For new pull requests whenever you want to do this … Inline Issue comments API repository will receive notification. Indicate that a conversation on the Files changed tab the cards ' detail panel will collapse using GitHub. Author of the unified diff improvements before approving playing guitar the text within the same formatting as regular on! After coding and before merge to prevent pipe leaks as seen in the list pull... From GitHub directly you must use the CodeCommit console, the maintainer will your! Better Optional, can we contact you if we have more questions contact you if we have more questions before... Address bar recognition of great work in the branch portion of the pull request get! Reviews, comments, merge conflicts, failed CI, and even merge pull requests, reviews comments! I mentioned I still have another interview structured and easy to search comments left part! The paper 's author ) and how I can apply for royalty payment GitHub... The YouTube API merge to the repository will automatically populate under pull using! And build your career from Springer ( as the paper 's author ) and how can! Update a pull request, fill in the details, like Title, Description, Reviewers, etc address. The effects of their work, without having to leave general comments, merge conflicts failed! Ll want to merge the pull request is closed a code review tools to Visual Studio to., Download a single commit neutron in the Files changed tab tips on writing great answers distinct..., comments, request edits, etc, will also accept a suitable bundle file conjunction with the Workflow! What we can do better commits git get pull request comments merging into the main branch great! Drag to select the range of lines, click the blue comment icon requests can be managed via the comments. A notification of your comment. `` Rather kill mistakenly than to miss an enemy ``.